Specification and design of the X.25 protocol: A case study in csp (1990)

by He Jifeng
Venue:Developments in Concurrency and Communication