Corina Cîrstea , Alexander Kurz , Dirk Pattinson , Lutz Schröder , Yde Venema
September 2008
Visions of Computer Science - BCS International Academic Conference (VOCS)
BCS International Academic Conference
22 - 24 September 2008
Modal logic, Coalgebraic semantics, Knowledge representation, Mobility and concurrency
This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/