Higher dimensional transition systems
- 23 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
We introduce the notion of higher dimensional transition systems as a model of concurrency providing an elemen- tary, set-theoretic formalisation of the idea of higher di- mensional transition. We show an embedding of the cate- gory of higher dimensional transition systems into that of higher dimensional automata which cuts down to an equiv- alence when we restrict to non-degenerate automata. More- ovel; we prove that the natural notion of bisimulation for such structures is a generalisation of the strong history pre- serving bisimulation, and provide an abstract categorical account of it via open maps. Finally, we dejine a notionKeywords
This publication has 8 references indexed in Scilit:
- Homology of higher dimensional automataPublished by Springer Nature ,2006
- Models for concurrency: towards a classificationTheoretical Computer Science, 1996
- A classification of models for concurrencyLecture Notes in Computer Science, 1993
- Local event structures and Petri netsPublished by Springer Nature ,1993
- Domains of higher-dimensional automataPublished by Springer Nature ,1993
- PETRI NETS AND STEP TRANSITION SYSTEMSInternational Journal of Foundations of Computer Science, 1992
- Modeling concurrency with geometryPublished by Association for Computing Machinery (ACM) ,1991
- Petri nets are monoidsInformation and Computation, 1990