Specification and analysis of a data transfer protocol using systems of communicating machines

From MaRDI portal