On the Expressiveness of Higher Dimensional Automata: (Extended Abstract) van Glabbeek, Robert en_US 2021-11-25T15:25:37Z 2021-11-25T15:25:37Z 2004 en_US
dc.description.abstract In this paper I compare the expressive power of several models of concurrency based on their ability to represent causal dependence. To this end, I translate these models, in behaviour preserving ways, into the model of higher dimensional automata, which is the most expressive model under investigation. In particular, I propose four different translations of Petri nets, corresponding to the four different computational interpretations of nets found in the literature.I also extend various equivalence relations for concurrent systems to higher dimensional automata. These include the history preserving bisimulation, which is the coarsest equivalence that fully respects branching time, causality and their interplay, as well as the ST-bisimulation, a branching time respecting equivalence that takes causality into account to the extent that it is expressible by actions overlapping in time. Through their embeddings in higher dimensional automata, it is now well-defined whether members of different models of concurrency are equivalent. en_US
dc.identifier.issn 1571-0661 en_US
dc.language English
dc.language.iso EN en_US
dc.publisher Elsevier BV en_US
dc.rights CC BY-NC-ND 3.0 en_US
dc.rights.uri en_US
dc.source Legacy MARC en_US
dc.title On the Expressiveness of Higher Dimensional Automata: (Extended Abstract) en_US
dc.type Conference Paper en
dcterms.accessRights open access
dspace.entity.type Publication en_US
unsw.description.publisherStatement Electronic Notes in Theoretical Computer Science is available via: en_US
unsw.identifier.doiPublisher en_US Amsterdam, Netherlands en_US
unsw.relation.faculty Engineering
unsw.relation.ispartofconferenceLocation London en_US
unsw.relation.ispartofconferenceName EXPRESS 2004 en_US
unsw.relation.ispartofconferenceProceedingsTitle Electronic Notes in Theoretical Computer Science en_US
unsw.relation.ispartofconferenceYear 2005 en_US
unsw.relation.ispartofpagefrompageto 5-34 en_US
unsw.relation.originalPublicationAffiliation van Glabbeek, Robert, Computer Science & Engineering, Faculty of Engineering, UNSW en_US School of Computer Science and Engineering *
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
348.63 KB
Resource type