Verification of two communication protocols by means of process algebra
Verification of two communication protocols by means of process algebra / F.W. Vaandrager