scientific article; zbMATH DE number 3808938

MaRDI QIDQ3657417zbMATH OpenFDO

Authors

Publication date 1983

zbMATH Keywords

total correctness proof system

Mathematics Subject Classification ID

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

Cited in

(10)

• Marking fairness in Petri nets
• Merging regular processes by means of fixed-point theory
• Appraising fairness in languages for distributed programming
• The \({\mathcal NU}\) system as a development system for concurrent programs: \(\delta{\mathcal NU}\)
• Fairness and hyperfairness in multi-party interactions
• Strong fairness and full abstraction for communicating processes
• Ensuring liveness properties of distributed systems: open problems
• A Bibliography of Willem-Paul de Roever
• A weakest precondition semantics for communicating processes
• Fairness and conspiracies

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