The semantics of priority and fairness in occam

DOI10.1007/BFB0040258OpenAlexW1497830314MaRDI QIDQ5887515FDOQ5887515

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (5)

• Title not available (Why is that?)
• Petri net semantics of priority systems
• Revisiting sequential composition in process calculi
• An operational semantics of occam
• Title not available (Why is that?)

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)