An algebraic-temporal specification of a CSMA/CD-protocol.

Mohamed Jmaiel An algebraic-temporal specification of a CSMA/CD-protocol. 187-202 1995 conf/pstv/1995 PSTV db/conf/pstv/pstv1995.html#Jmaiel95