The Intertwining of Data Types and Processes in LOTOS

Guy Leduc. The Intertwining of Data Types and Processes in LOTOS. In Harry Rudin, Colin H. West, editors, Protocol Specification, Testing and Verification VII, Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification, Zurich, Switzerland, 5-8 May, 1987. pages 123-136, North-Holland, 1987.

Abstract

Abstract is missing.