Protocol Description and Analysis Based on a State Transition Model with Channel Expressions

Jan K. Pachl. Protocol Description and Analysis Based on a State Transition Model with Channel Expressions. 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 207-219, North-Holland, 1987.

Abstract

Abstract is missing.