Deterministic Behavioural Models for Concurrency


Sassone, V., Nielsen, M. and Winskel, G. (1993) Deterministic Behavioural Models for Concurrency At 18th International Symposium on the Mathematical Foundations of Computer Science, MFCS '93.. , pp. 682-692.

Download

[img] PDF detmodels-mfcs-fin.pdf - Other
Download (166kB)

Description/Abstract

This paper offers three candidates for a deterministic, noninterleaving, behaviour model which generalizes Hoare traces to the noninterleaving situation. The three models are all proved equivalent in the rather strong sense of being equivalent as categories. The models are: deterministic labelled event structures, generalized trace languages in which the independence relation is context-dependent, and deterministic languages of pomsets.

Item Type: Conference or Workshop Item (Paper)
Venue - Dates: 18th International Symposium on the Mathematical Foundations of Computer Science, MFCS '93., 1993-01-01
Keywords: deterministic models of concurrency, traces, deterministic event structures, categorical comparison between concurrency models
Organisations: Web & Internet Science
ePrint ID: 261947
Date :
Date Event
1993Published
Date Deposited: 12 Feb 2006
Last Modified: 17 Apr 2017 21:49
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/261947

Actions (login required)

View Item View Item