Higher Dimensional Transition Systems
Higher Dimensional Transition Systems
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.
higher dimensional automata, algebraic topology, true concurrency, models for concurrency
55-62
Cattani, G.L.
efe32465-f900-4813-b401-e20ac953acf6
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7
1996
Cattani, G.L.
efe32465-f900-4813-b401-e20ac953acf6
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7
Cattani, G.L. and Sassone, V.
(1996)
Higher Dimensional Transition Systems.
11th Symposium of Logics in Computer Science, LICS '96..
.
Record type:
Conference or Workshop Item
(Paper)
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.
Text
hdtsLICSoff.pdf
- Other
More information
Published date: 1996
Venue - Dates:
11th Symposium of Logics in Computer Science, LICS '96., 1996-01-01
Keywords:
higher dimensional automata, algebraic topology, true concurrency, models for concurrency
Organisations:
Web & Internet Science
Identifiers
Local EPrints ID: 261954
URI: http://eprints.soton.ac.uk/id/eprint/261954
PURE UUID: a79546ef-8f1a-4f47-8f84-34ccd18a27a9
Catalogue record
Date deposited: 12 Feb 2006
Last modified: 10 Sep 2024 01:40
Export record
Contributors
Author:
G.L. Cattani
Author:
V. Sassone
Download statistics
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