Publication:
On the Expressiveness of Higher Dimensional Automata: (Extended Abstract)
On the Expressiveness of Higher Dimensional Automata: (Extended Abstract)
dc.contributor.author | van Glabbeek, Robert | en_US |
dc.date.accessioned | 2021-11-25T15:25:37Z | |
dc.date.available | 2021-11-25T15:25:37Z | |
dc.date.issued | 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.identifier.uri | http://hdl.handle.net/1959.4/44456 | |
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 | https://creativecommons.org/licenses/by-nc-nd/3.0/au/ | 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.accessRights.uri | https://purl.org/coar/access_right/c_abf2 | |
unsw.description.publisherStatement | Electronic Notes in Theoretical Computer Science is available via: http://www.sciencedirect.com/science/journal/15710661 | en_US |
unsw.identifier.doiPublisher | http://dx.doi.org/10.1016/j.entcs.2004.11.026 | en_US |
unsw.publisher.place | 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 |
unsw.relation.school | School of Computer Science and Engineering | * |
Files
Original bundle
1 - 1 of 1