ePrints

On Equivalent Execution Semantics of Concurrent Systems

Lookup NU author(s): Professor Maciej KoutnyORCiD

Downloads

• Published version [.pdf]

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 this is given.

Publication metadata

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

Share