scientific article; zbMATH DE number 3926216

MaRDI QIDQ3700807zbMATH OpenFDO

Authors Philippe Darondeau

Publication date 1985

zbMATH Keywords

asynchronybounded parallelismCCSfair calculifairnessobservational precongruenceobservational preorder

Mathematics Subject Classification ID

Theory of operating systems (68N25) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• About fair asynchrony
• scientific article; zbMATH DE number 3900141
• scientific article; zbMATH DE number 3903948
• A fair calculus of communicating systems
• Appraising fairness in languages for distributed programming

Cited in

(8)

• About fair asynchrony
• Sémantique asynchrone et comportements infinis en CPS
• CCS: it's not fair! Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions
• scientific article; zbMATH DE number 3900141 (Why is no real title available?)
• scientific article; zbMATH DE number 3903948 (Why is no real title available?)
• A Theory of Bounded Fair Scheduling
• First-order axioms for asynchrony
• 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 Q3700807)