Conference item icon

Conference item

Logics and bisimulation games for concurrency, causality and conflict

Abstract:

Based on a simple axiomatization of concurrent behaviour we define two ways of observing parallel computations and show that in each case they are dual to conflict and causality, respectively. We give a logical characterization to those dualities and show that natural fixpoint modal logics can be extracted from such a characterization. We also study the equivalences induced by such logics and prove that they are decidable and can be related with well-known bisimulations for interleaving and n...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:
Publisher copy:
10.1007/978-3-642-00596-1_5

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
Publisher:
Springer Berlin Heidelberg Publisher's website
Volume:
5504
Pages:
48-62
Host title:
Foundations of Software Science and Computational Structures: 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Publication date:
2009-01-01
DOI:
ISSN:
0302-9743
Source identifiers:
572648
ISBN:
9783642005961
Keywords:
Pubs id:
pubs:572648
UUID:
uuid:e740bb14-a5c9-4c21-84a3-1130b9f672ad
Local pid:
pubs:572648
Deposit date:
2015-11-12

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP