2 research outputs found
Compositionality, concurrency and partial correctness : proof theories for networks of processes, and their connection
Get PDFThe Incompleteness of Misra and Chandy's Proof Systems
Full text linkIn this paper we show that Misra and Chandy's proof systems for networks of communicating processes ([1, 2]) are incomplete
