Higher Dimensional Transition Systems


Cattani, G.L. and Sassone, V. (1996) Higher Dimensional Transition Systems. In, 11th Symposium of Logics in Computer Science, LICS '96. IEEE Press, 55-62.

Download

[img] PDF
Download (753Kb)

Description/Abstract

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.

Item Type: Conference or Workshop Item (Paper)
Keywords: higher dimensional automata, algebraic topology, true concurrency, models for concurrency
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Web & Internet Science
ePrint ID: 261954
Date Deposited: 12 Feb 2006
Last Modified: 27 Mar 2014 20:05
Further Information:Google Scholar
ISI Citation Count:3
URI: http://eprints.soton.ac.uk/id/eprint/261954

Actions (login required)

View Item View Item

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics