The semantics of priority and fairness in occam

DOI10.1007/BFB0040258MaRDI QIDQ5887515OpenAlexFDO

Authors 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

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

Recommendations

• An operational semantics of occam
• Priorities in process algebras
• scientific article; zbMATH DE number 3902017
• scientific article; zbMATH DE number 3963175
• A fair calculus of communicating systems

Cited in

(5)

• scientific article; zbMATH DE number 3963175 (Why is no real title available?)
• Revisiting sequential composition in process calculi
• Petri net semantics of priority systems
• An operational semantics of occam
• scientific article; zbMATH DE number 741350 (Why is no real title available?)

This page was built for publication: The semantics of priority and fairness in occam

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5887515)