scientific article

zbMath0595.68030MaRDI QIDQ3727371

Colin Stirling

Publication date: 1986

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

zbMATH Keywords

semanticsHoare logiclogics for concurrent programsparallel while language

Mathematics Subject Classification ID

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

Related Items

The \({\mathcal NU}\) system as a development system for concurrent programs: \(\delta{\mathcal NU}\), A compositional protocol verification using relativized bisimulation, Modal logics for communicating systems, An introduction to compositional methods for concurrency and their application to real-time.