Journal article
Maximally concurrent evolution of non-sequential 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" semantics is developed. Some sufficient criteria for the equivalence of these semantics are formulated. As an abstract model of non-sequential systems the COSY path expression formalism is used.
Authors
Janicki R; Lauer PE; Devillers R
Journal
Lecture Notes in Computer Science, Vol. 197, , pp. 268–280
Publisher
Springer Nature
Publication Date
1985
DOI
10.1007/3-540-15670-4_13
ISSN
0302-9743