Verifying a CSMA/CD-Protocol with CCS (1987)

by J Parrow