Algebraic specification and verification of communication protocols

A LOTOS Specification of the PROWAY Highway Service

IEEE Transactions on Computers

Formal Verification of Fault Tolerance Using Theorem-Proving Techniques

IEEE Transactions on Computers

Limits to the mechanization of the detailing step paradigm

ISPW '88 Proceedings of the 4th international software process workshop on Representing and enacting the software process

Fair Π

Electronic Notes in Theoretical Computer Science (ENTCS)