scientific article

zbMath0566.68020MaRDI QIDQ3681911

C. A. R. Hoare

Publication date: 1985

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

zbMATH Keywords

Communicating Sequential Processescorrectness-preserving transformationsLISPKIT

Mathematics Subject Classification ID

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

Related Items

Algebraic specifications of computable and semicomputable data types, Semantic specification and verification of data flow diagrams, Expressive power of typed and type-free programming languages