scientific article
From MaRDI portal
Publication:3700806
zbMath0578.68009MaRDI QIDQ3700806
C. A. R. Hoare, Ernst-Ruediger Olderog
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
correctnessspecification-oriented semanticsCommunicating ProcessesCounter ModelReadiness ModelTrace Model
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)
Related Items
Ernst-Rüdiger Olderog: A Life for Meaning, Infinite streams and finite observations in the semantics of uniform concurrency, A compositional proof system on a category of labelled transition systems, A timed model for communicating sequential processes, An application of temporal projection to interleaving concurrency, The expressive power of implicit specifications, On the suitability of trace semantics for modular proofs of communicating processes, Specification-oriented semantics for communicating processes