Structured protocol specification based on CSP
Subtitle: a case study
By: Yong Sun, Hongji Yang.
Contributors: Yang, Hongji.; De Montfort University. Science and Engineering Research Centre.
Series: SERCentre research paper -- No.7
Publisher: De Montfort University, SERCentre
Published: 1996
Place of publication: Leicester
Language: eng