Verification of an alternating bit protocol by means of process algebra (1986)

by J A Bergstra, J W Klop
Venue:Methods of Spec. and Synthesis of Software Systems '85, Math. Research 31