Verifying programs that use causally-ordered message-passing

DOI10.1016/0167-6423(95)00002-AzbMath0828.68097MaRDI QIDQ1893537

Fred B. Schneider, Scott D. Stoller

Publication date: 4 July 1995

Published in: Science of Computer Programming (Search for Journal in Brave)

zbMATH Keywords

Hoare-style proof systemcausally-ordered delivery

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Synchronous, asynchronous, and causally ordered communication

This page was built for publication: Verifying programs that use causally-ordered message-passing