A proof method for cyclic programs

DOI10.1007/BF00289074zbMATH Open0367.68009OpenAlexW2067882404MaRDI QIDQ1242445FDOQ1242445

Authors: 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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Interference between communicating parallel processes
• Proving properties of interacting processes

Cited In (4)

• P-A logic - a compositional proof system for distributed programs
• The temporal semantics of concurrent programs
• Formal derivation of strongly correct concurrent programs
• Assume-guarantee reasoning with local specifications

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1242445)