scientific article

zbMath0585.68026MaRDI QIDQ3709867

Eugene W. Stark

Publication date: 1985

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

concurrent processesspecificationproof ruleglobal liveness propertiesguarantee condition

Mathematics Subject Classification ID

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

Related Items (10)

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

This page was built for publication: