Protocol description and analysis based on a state transition model with channel expressions (1987)

by J K Pachl
Venue:In Intl. Conf. on Protocol Specification, Testing and Verification (PSTV