A proof method for cyclic programs

DOI10.1007/BF00289074zbMath0367.68009OpenAlexW2067882404MaRDI QIDQ1242445

Nissim Francez, Amir Pnueli

Publication date: 1978

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

Full work available at URL: https://doi.org/10.1007/bf00289074

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (4)

The temporal semantics of concurrent programs ⋮ Formal derivation of strongly correct concurrent programs ⋮ P-A logic - a compositional proof system for distributed programs ⋮ ASSUME-GUARANTEE REASONING WITH LOCAL SPECIFICATIONS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proving properties of interacting processes
• Interference between communicating parallel processes

This page was built for publication: A proof method for cyclic programs