scientific article
From MaRDI portal
zbMath0585.68026MaRDI QIDQ3709867
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)
Related Items
Parallel composition of assumption-commitment specifications: A unifying approach for shared variable and distributed message passing concurrency, Theory and methodology of assumption/commitment based system interface specification and architectural contracts, Specification and refinement of networks of asynchronously communicating agents using the assumption/commitment paradigm, Compositional Verification for Component-Based Systems and Application, A compositional protocol verification using relativized bisimulation, A logical view of composition, Compositional reasoning using intervals and time reversal, Modular verification of multithreaded programs, An introduction to compositional methods for concurrency and their application to real-time., Composing leads-to properties
