scientific article; zbMATH DE number 3878339

MaRDI QIDQ3343420zbMATH OpenFDO

Authors Gerardo Costa, Colin Stirling

Publication date 1984

zbMATH Keywords

Calculus of Communicating SystemsCCSconcurrencytransition systemsweak and strong fairness

Mathematics Subject Classification ID

Theory of operating systems (68N25) Abstract data types; algebraic specification (68Q65)

Recommendations

• Weak and strong fairness in CCS
• A fair calculus of communicating systems
• scientific article; zbMATH DE number 1330452
• A Distributed Maximal Scheduler for Strong Fairness
• Fair \(\pi\)

Cited in

(10)

• Pict correctness revisited
• Deadlock and fairness in morphisms of transition systems
• Weak and strong fairness in CCS
• A Distributed Maximal Scheduler for Strong Fairness
• scientific article; zbMATH DE number 3898220 (Why is no real title available?)
• scientific article; zbMATH DE number 4050966 (Why is no real title available?)
• Fairness and regularity for SCCS processes
• scientific article; zbMATH DE number 4092750 (Why is no real title available?)
• A fair calculus of communicating systems
• An operational semantics of occam

This page was built for publication:

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