Journal article
On equivalent execution semantics of concurrent systems
Abstract
Various execution semantics of concurrent systems are formally defined and investigated. The problem of the existence of minimal execution semantics equivalent to the semantics expressed intuitively as “execute as possible” is studied. The positive answer to that problem is given.
Authors
Janicki R; Koutny M
Journal
Lecture Notes in Computer Science, Vol. 266, , pp. 89–103
Publisher
Springer Nature
Publication Date
1987
DOI
10.1007/3-540-18086-9_21
ISSN
0302-9743