Trace-based network proof systems: expressiveness and completeness (concurrency)

Predicates are predicate transformers: a unified compositional theory for concurrency

Proceedings of the eighth annual ACM Symposium on Principles of distributed computing

Rooting UNITY

IWSSD '89 Proceedings of the 5th international workshop on Software specification and design

Trace-based network proof systems: expressiveness and completeness

ACM Transactions on Programming Languages and Systems (TOPLAS)

Communication traces in the verification of distributed programs

2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods