Options
Causality versus true-concurrency
Publikationstyp
Journal Article
Date Issued
2007-07-24
Sprache
English
Author(s)
Journal
Volume
386
Issue
3
Start Page
169
End Page
187
Citation
Theoretical Computer Science 386 (3): 169-187 (2007-11-01)
Publisher DOI
Scopus ID
Publisher
Elsevier
Category theory has been successfully employed to structure the confusing set-up of models and equivalences for concurrency: Winskel and Nielsen have related the standard models via adjunctions and (co)reflections while Joyal et al. have defined an abstract notion of equivalence, known as open map bisimilarity. One model has not been integrated into this framework: the causal trees of Darondeau and Degano. Here we fill this gap. In particular, we show that there is an adjunction from causal trees to event structures, which we bring to light via a mediating model, that of event trees. Further, we achieve an open map characterization of history preserving bisimilarity: the latter is captured by the natural instantiation of the abstract bisimilarity for causal trees.
Subjects
Causal trees
Event structures
History preserving bisimulation
DDC Class
004: Informatik
More Funding Information
Sławomir Lasota was partially supported by the EU project SENSORIA within the IST 6th Framework Programme. This work was done while the first author was a postdoc at Warsaw University, funded by the EU Research Training Network GAMES.