The incompleteness of Misra and Chandy's proof systems

DOI10.1016/0020-0190(85)90040-7zbMath0575.68022OpenAlexW2065002804MaRDI QIDQ1064051

B. George

Publication date: 1985

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://hdl.handle.net/1813/6473

zbMATH Keywords

temporal logicrelative completenessnetworks of communicating processes

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Theory of operating systems (68N25)

Related Items (1)

A model and temporal proof system for networks of processes

Cites Work

• Proofs of Networks of Processes
• Unnamed Item

This page was built for publication: The incompleteness of Misra and Chandy's proof systems