The University of Southampton
University of Southampton Institutional Repository

Relationships between Models for Concurrency

Relationships between Models for Concurrency
Relationships between Models for Concurrency
Models for concurrency can be classified with respect to three relevant parameters: behaviour/system, interleaving/noninterleaving, linear/branching time. When modelling a process, a choice concerning such parameters corresponds to choosing the level of abstraction of the resulting semantics. The classifications are formalized through the medium of category theory.
models for concurrency, event structures, traces, transition systems, transition systems with independence, categorical relationships between concurrency modelsmodels for concurrency, categorical relationships between concurrency models
3-540-58043-3
425-476
Nielsen, M.
d6a4a4bb-e50c-4cd3-9b70-b0e34cf59059
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7
Winskel, G.
a0a8355f-89ee-41c5-8195-44ee6c93f40f
Nielsen, M.
d6a4a4bb-e50c-4cd3-9b70-b0e34cf59059
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7
Winskel, G.
a0a8355f-89ee-41c5-8195-44ee6c93f40f

Nielsen, M., Sassone, V. and Winskel, G. (1994) Relationships between Models for Concurrency. REX School '93. A Decade of Concurrency: Reflections and Perspectives.. pp. 425-476 .

Record type: Conference or Workshop Item (Paper)

Abstract

Models for concurrency can be classified with respect to three relevant parameters: behaviour/system, interleaving/noninterleaving, linear/branching time. When modelling a process, a choice concerning such parameters corresponds to choosing the level of abstraction of the resulting semantics. The classifications are formalized through the medium of category theory.

Text
REX.pdf - Other
Download (470kB)

More information

Published date: 1994
Venue - Dates: REX School '93. A Decade of Concurrency: Reflections and Perspectives., 1994-01-01
Keywords: models for concurrency, event structures, traces, transition systems, transition systems with independence, categorical relationships between concurrency modelsmodels for concurrency, categorical relationships between concurrency models
Organisations: Web & Internet Science

Identifiers

Local EPrints ID: 261948
URI: http://eprints.soton.ac.uk/id/eprint/261948
ISBN: 3-540-58043-3
PURE UUID: c154bb2f-0d80-4f1b-af70-cc5d69c5b366
ORCID for V. Sassone: ORCID iD orcid.org/0000-0002-6432-1482

Catalogue record

Date deposited: 12 Feb 2006
Last modified: 10 Sep 2024 01:40

Export record

Contributors

Author: M. Nielsen
Author: V. Sassone ORCID iD
Author: G. Winskel

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.

×