Proving properties of interacting processes

DOI10.1007/BF00288744zbMath0303.68017MaRDI QIDQ1216173

Glen Newton

Publication date: 1975

Published in: Acta Informatica (Search for Journal in Brave)

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (2)

An axiomatic proof technique for parallel programs ⋮ A proof method for cyclic programs

Cites Work

• A comparison of two synchronizing concepts
• Comments on: A comparison of two synchronizing concepts by P. B. Hansen

This page was built for publication: Proving properties of interacting processes