Wolfgang Jürgensen, Son T. Vuong. CSP and CSP Nets: A Dual Model for Protocol Specification and Verification. In Yechiam Yemini, Robert E. Strom, Shaula Yemini, editors, Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984. pages 253-277, North-Holland, 1984.
@inproceedings{JurgensenV84,
title = {CSP and CSP Nets: A Dual Model for Protocol Specification and Verification},
author = {Wolfgang Jürgensen and Son T. Vuong},
year = {1984},
tags = {protocol},
researchr = {https://researchr.org/publication/JurgensenV84},
cites = {0},
citedby = {0},
pages = {253-277},
booktitle = {Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984},
editor = {Yechiam Yemini and Robert E. Strom and Shaula Yemini},
publisher = {North-Holland},
isbn = {0-444-87676-6},
}