Deterministic Behavioural Models for Concurrency
Sassone, V., Nielsen, M. and Winskel, G. (1993) Deterministic Behavioural Models for Concurrency. In, 18th International Symposium on the Mathematical Foundations of Computer Science, MFCS '93. Springer, 682-692.
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)|
|Keywords:||deterministic models of concurrency, traces, deterministic event structures, categorical comparison between concurrency models|
|Divisions:||Faculty of Physical and Applied Science > Electronics and Computer Science > Web & Internet Science
|Date Deposited:||12 Feb 2006|
|Last Modified:||10 Mar 2012 11:24|
|Contributors:||Sassone, V. (Author)
Nielsen, M. (Author)
Winskel, G. (Author)
|Further Information:||Google Scholar|
|RDF:||RDF+N-Triples, RDF+N3, RDF+XML, Browse.|
Actions (login required)