Conference

### 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...

Publication status:
Published
Peer review status:
Peer reviewed
Version:
Accepted Manuscript

### Access Document

Files:
• (pdf, 241.7KB)
Publisher copy:
10.1007/978-3-642-00596-1_5

### Authors

More by this author
Institution:
University of Oxford
Department:
Oxford, MPLS, Computer Science
Role:
Author
Publisher:
Springer Berlin Heidelberg Publisher's website
Volume:
5504
Pages:
48-62
Publication date:
2009-01-01
DOI:
ISSN:
0302-9743
URN:
Source identifiers:
572648
Local pid:
pubs:572648
ISBN:
978-3-642-00596-1
Keywords: