Journal article
Concurrent and maximally concurrent evolution of nonsequential systems
Abstract
The semantics expressed intuitively as ‘execute as much as possible in parallel’ is formally defined and analysed. The relation between such a maximally concurrent semantics and ‘normal’ concurrent semantics is developed. Necessary and sufficient criteria for the equivalence of these semantics are formulated. As an abstract model of nonsequential systems the COSY path expression formalism is used.
Authors
Janicki R; Lauer PE; Koutny M; Devillers R
Journal
Theoretical Computer Science, Vol. 43, , pp. 213–238
Publisher
Elsevier
Publication Date
1986
DOI
10.1016/0304-3975(86)90177-5
ISSN
0304-3975