The semantics of priority and fairness in occam

DOI10.1007/BFB0040258MaRDI QIDQ5887515zbMATH OpenOpenAlexFDO

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

component processconcurrent processoperational semanticprocess initiativestrong fairness

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)

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

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)