TUHH Open Research
Help
  • Log In
    New user? Click here to register.Have you forgotten your password?
  • English
  • Deutsch
  • Communities & Collections
  • Publications
  • Research Data
  • People
  • Institutions
  • Projects
  • Statistics
  1. Home
  2. TUHH
  3. Publications
  4. Causality versus true-concurrency
 
Options

Causality versus true-concurrency

Citation Link: https://doi.org/10.15480/882.4035
Publikationstyp
Journal Article
Date Issued
2006-07-14
Sprache
English
Author(s)
Fröschle, Sibylle B.  orcid-logo
Lasota, Sławomir  
TORE-DOI
10.15480/882.4035
TORE-URI
http://hdl.handle.net/11420/11287
Journal
Electronic notes in theoretical computer science  
Volume
154
Issue
3
Start Page
3
End Page
18
Citation
Electronic Notes in Theoretical Computer Science 154 (3): 3-18 (2006-07-19)
Publisher DOI
10.1016/j.entcs.2006.05.003
Scopus ID
2-s2.0-33745952591
Publisher
Elsevier Science
Category theory has been successfully employed to structure the confusing setup 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
Publication version
publishedVersion
Lizenz
https://creativecommons.org/licenses/by-nc-nd/3.0/
Loading...
Thumbnail Image
Name

1-s2.0-S1571066106003653-main.pdf

Size

342.28 KB

Format

Adobe PDF

TUHH
Weiterführende Links
  • Contact
  • Send Feedback
  • Cookie settings
  • Privacy policy
  • Impress
DSpace Software

Built with DSpace-CRIS software - Extension maintained and optimized by 4Science
Design by effective webwork GmbH

  • Deutsche NationalbibliothekDeutsche Nationalbibliothek
  • ORCiD Member OrganizationORCiD Member Organization
  • DataCiteDataCite
  • Re3DataRe3Data
  • OpenDOAROpenDOAR
  • OpenAireOpenAire
  • BASE Bielefeld Academic Search EngineBASE Bielefeld Academic Search Engine
Feedback