scientific article; zbMATH DE number 3926218

MaRDI QIDQ3700810zbMATH OpenFDO

Authors Willem P. Jun. de Roever

Publication date 1985

zbMATH Keywords

concurrencyconcurrent programming languagescooperation testcorrectness proofCSPdistributed message passingdistributed priority queueDPinterference freedom testinvariantsmulticontrol pointsmutual consistencysafety properties

Mathematics Subject Classification ID

Theory of operating systems (68N25) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 4001463
• scientific article; zbMATH DE number 139607
• scientific article; zbMATH DE number 3963180
• Distributed cooperation with action systems
• scientific article; zbMATH DE number 3997155

Cited in

(5)

• Corrigenda:Cooperating proofs for distributed programs with multiparty interactions
• scientific article; zbMATH DE number 139607 (Why is no real title available?)
• scientific article; zbMATH DE number 4001463 (Why is no real title available?)
• An introduction to compositional methods for concurrency and their application to real-time.
• Testing for coordination fidelity

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