A Formal Semantics for Concurrent Systems with a Priority Relation

Ryszard Janicki. A Formal Semantics for Concurrent Systems with a Priority Relation. Acta Informatica, 24(1):33-55, 1987.

Abstract

Abstract is missing.