scientific article

zbMath0551.68021MaRDI QIDQ3343420

Gerardo Costa, Colin Stirling

Publication date: 1984

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

concurrencytransition systemsCCSCalculus of Communicating Systemsweak and strong fairness

Mathematics Subject Classification ID

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

Related Items

Deadlock and fairness in morphisms of transition systems ⋮ An operational semantics of occam ⋮ Fairness and regularity for SCCS processes ⋮ Pict correctness revisited ⋮ A fair calculus of communicating systems