Title: A specification of a CSMA/CD protocol using systems of communicating machines