scientific article
From MaRDI portal
Publication:3700810
zbMath0578.68012MaRDI QIDQ3700810
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
invariantsCSPconcurrencysafety propertiescorrectness proofconcurrent programming languagesmutual consistencyDPcooperation testdistributed message passingdistributed priority queueinterference freedom testmulticontrol points
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Theory of operating systems (68N25)
Related Items (2)
An introduction to compositional methods for concurrency and their application to real-time. ⋮ Corrigenda:Cooperating proofs for distributed programs with multiparty interactions
This page was built for publication:
