Journal article
Structure of concurrency
Abstract
Noninterleaving models of concurrency assume that behavioural properties of systems can be adequately modelled in terms of causal partial orders. We claim that the structure of concurrency is richer, with causality being only one of the invariants generated by a set of closely related executions or observations. The model we propose supports three levels of abstraction: the observation level, invariant level and system level; and we will …
Authors
Janicki R; Koutny M
Journal
Theoretical Computer Science, Vol. 112, No. 1, pp. 5–52
Publisher
Elsevier
Publication Date
4 1993
DOI
10.1016/0304-3975(93)90238-o
ISSN
0304-3975