|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
11th Annual IEEE Symposium on Logic in Computer Science (LICS'96)
Higher Dimensional Transition Systems
New Brunswick, NJ
July 27-July 30
ISBN: 0-8186-7463-6
| ASCII Text | x | ||
| Gian Luca Cattani, Vladimiro Sassone, "Higher Dimensional Transition Systems," Logic in Computer Science, Symposium on, pp. 55, 11th Annual IEEE Symposium on Logic in Computer Science (LICS'96), 1996. | |||
| BibTex | x | ||
| @article{ 10.1109/LICS.1996.561303, author = {Gian Luca Cattani and Vladimiro Sassone}, title = {Higher Dimensional Transition Systems}, journal ={Logic in Computer Science, Symposium on}, volume = {0}, year = {1996}, issn = {1043-6871}, pages = {55}, doi = {http://doi.ieeecomputersociety.org/10.1109/LICS.1996.561303}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Logic in Computer Science, Symposium on TI - Higher Dimensional Transition Systems SN - 1043-6871 SP EP A1 - Gian Luca Cattani, A1 - Vladimiro Sassone, PY - 1996 KW - Transition Systems KW - Event Structures KW - Higher Dimension KW - Higher Dimensional Automata KW - Category Theory KW - Bisimulation via Open Maps VL - 0 JA - Logic in Computer Science, Symposium on ER - | |||
We introduce the notion of higher dimensional transition systems as a model of concurrency providing an elementary, set-theoretic formalisation of the idea of higher dimensional transition. We show an embedding of the category of higher dimensional transition systems into that of higher dimensional automata which cuts down to an equivalence when we restrict to non-degenerate automata. Moreover, we prove that the natural notion of bisimulation for such structures is a generalisation of the strong history preserving bisimulation, and provide an abstract categorical account of it via open maps. Finally, we define a notion of unfolding for higher dimensional transition systems and characterise the structures so obtained as a generalisation of event structures.
Index Terms:
Transition Systems, Event Structures, Higher Dimension, Higher Dimensional Automata, Category Theory, Bisimulation via Open Maps
Citation:
Gian Luca Cattani, Vladimiro Sassone, "Higher Dimensional Transition Systems," lics, pp.55, 11th Annual IEEE Symposium on Logic in Computer Science (LICS'96), 1996
Usage of this product signifies your acceptance of the Terms of Use.