Formal semantics of a class of high-level primitives of coordinating concurrent processes

DOI10.1007/BF00264564zbMath0312.68012OpenAlexW1978972515MaRDI QIDQ1219678

R. H. Campbell, Peter E. Lauer

Publication date: 1975

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00264564

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Algorithms in computer science (68W99)

Related Items (9)

Petri nets, algebras, morphisms, and compositionality ⋮ Concurrent bisimulations in Petri nets ⋮ Unnamed Item ⋮ Restrictions and representations of vector controlled concurrent system behaviours ⋮ SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR ⋮ On priority in COSY ⋮ Adequacy properties of path programs ⋮ Transforming sequential systems into concurrent systems ⋮ A formal semantics for concurrent systems with a priority relation

This page was built for publication: Formal semantics of a class of high-level primitives of coordinating concurrent processes