Scholarly Works

On equivalent execution semantics of concurrent...

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

January 1, 1987

DOI

10.1007/3-540-18086-9_21

ISSN

0302-9743

Associated Experts

Maciej Koutny

Adjunct Professor, Faculty of Engineering

Ryszard Janicki

Professor, Faculty of Engineering

Labels

Fields of Research (FoR)

4606 Distributed Computing and Systems Software 46 Information and computing sciences

View published work (Non-McMaster Users)

Contact the Experts team

Get technical help

or

Provide website feedback