The semantics of priority and fairness in occam

DOI10.1007/BFb0040258OpenAlexW1497830314MaRDI QIDQ5887515

Geoff Barrett

Publication date: 12 April 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

concurrent processstrong fairnessoperational semanticcomponent processprocess initiative

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Revisiting sequential composition in process calculi, Petri net semantics of priority systems

Cites Work

• Unnamed Item
• Unnamed Item