Conference icon

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

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

Actions


Access Document


Files:
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:
uuid:e740bb14-a5c9-4c21-84a3-1130b9f672ad
Source identifiers:
572648
Local pid:
pubs:572648
ISBN:
978-3-642-00596-1

Terms of use


Metrics


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