Derivation of concurrent programs: Two examples

DOI10.1016/0167-6423(92)90002-SzbMath0754.68083MaRDI QIDQ1199832

Edgar Knapp

Publication date: 17 January 1993

Published in: Science of Computer Programming (Search for Journal in Brave)

zbMATH Keywords

concurrent programmingasynchronous fixpoint computationparallel linear searchUNITY specification

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

Related Items (2)

Logical foundations for compositional verification and development of concurrent programs in UNITY ⋮ A foundation for modular reasoning about safety and progress properties of state-based concurrent programs

This page was built for publication: Derivation of concurrent programs: Two examples