Browse by author
Lookup NU author(s): Professor Maciej KoutnyORCiD
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 this is given.
Author(s): Janicki R, Koutny M
Publication type: Report
Publication status: Published
Series Title: Computing Laboratory Technical Report Series
Year: 1987
Pages: 20
Report Number: 234
Institution: Computing Laboratory, University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/234.pdf