Skip to main content

Developing and verifying protocols in CSP

A. W. Roscoe

Book Title
Proceedings of Mierlo workshop on protocols
Publisher
TU Eindhoven
Year
1993