scientific article; zbMATH DE number 3898220

MaRDI QIDQ3677159zbMATH OpenFDO

Authors Gerardo Costa

Publication date 1985

zbMATH Keywords

Calculus of Communicating Systemsconcurrent systemsfair computations

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Recommendations

• Strong fairness and ultra metrics
• scientific article; zbMATH DE number 3878339
• A fair calculus of communicating systems
• Weak and strong fairness in CCS
• Fairness, distances and degrees

Cited in

(6)

• Fairness, distances and degrees
• Strong fairness and ultra metrics
• Weak and strong fairness in CCS
• Fairness and regularity for SCCS processes
• An introduction to metric semantics: Operational and denotational models for programming and specification languages
• A fair calculus of communicating systems

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 Q3677159)