Sassone, V., Nielsen, M. and Winskel, G.
Deterministic Behavioural Models for Concurrency
At 18th International Symposium on the Mathematical Foundations of Computer Science, MFCS '93..
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.
Conference or Workshop Item
|Venue - Dates:
||18th International Symposium on the Mathematical Foundations of Computer Science, MFCS '93., 1993-01-01
||deterministic models of concurrency, traces, deterministic event structures, categorical comparison between concurrency models
||Web & Internet Science
||12 Feb 2006
||17 Apr 2017 21:49
|Further Information:||Google Scholar|
Actions (login required)