Sassone, V., Nielsen, M. and Winskel, G.
Deterministic Behavioural Models for Concurrency.
In, 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.
Actions (login required)