The University of Southampton
University of Southampton Institutional Repository

Higher Dimensional Transition Systems

Record type: Conference or Workshop Item (Paper)

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.

PDF hdtsLICSoff.pdf - Other
Download (771kB)

Citation

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

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: 18 Jul 2017 08:57

Export record

Contributors

Author: G.L. Cattani
Author: V. Sassone

University divisions


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

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×