| Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica (2007) | |||||||||||||
Abstract | |||||||||||||
| s van voordrachten On Notions of bisimulation and associated logics Prof.dr. M. Nielsen BRICS, Computer Science Department, University of Aarhus Recently, there have been several attempts of abstract approaches to notions of behavioural equivalences for models of computation. The approach based on open maps introduced by Joyal, Nielsen and Winskel represents one of these, which has mainly been applied to models for concur3 rency. One virtue of this (and other approaches as well) is that one obtains, for general reasons, a number of desirable properties, e.g. the existence of characteristic games and logics. This talk will present some of the logics which have come out of the use of open maps. In particular, various versions of modal logics with past modalities for concurrent systems will be presented, with emphasis on model checking and their use as specification logics. Also, the use of the approach to timed systems will be illustrated, if time permits. Process Algebra and Many-valu... | |||||||||||||
Details der Publikation | |||||||||||||
| |||||||||||||