Normalform-Transformationen für CSP-Programme. (Normal form transformations for CSP-programs)

zbMath0646.68032MaRDI QIDQ1104075

Dieter Zöbel

Publication date: 1988

Published in: Informatik. Forschung und Entwicklung (Search for Journal in Brave)

zbMATH Keywords

program transformationCSPdistributed algorithmsdistributed termination conventionI/O-guardsimplementation in PROLOGnormal form transformations

Mathematics Subject Classification ID

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

Related Items

Two normal form theorems for CSP programs, Design and verification of fault tolerant systems with CSP, Fifty years of Hoare's logic