Toggle Main Menu Toggle Search

Open Access padlockePrints

The Newcastle University research output collection, currently available on ePrints, will shortly be moving to a new open repository platform, Figshare. To prepare for the data migration we have paused adding new content to ePrints, and will resume once the new repository is launched. During this time you will continue to have access to ePrints (but no new content will appear). We will share updates here when available.

On Equivalent Execution Semantics of Concurrent Systems

Lookup NU author(s): Emeritus Professor Maciej KoutnyORCiD

Downloads


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