A tutorial on LOTOS (1985)

by E Brinksma
Venue:In Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V