Book contents
Module Index
Published online by Cambridge University Press: 03 May 2010
Summary

- Type
- Chapter
- Information
- Algebraic Specification of Communication Protocols , pp. 193 - 194Publisher: Cambridge University PressPrint publication year: 1993