Vincenza Carchiolo, Gesualdo Le Moli, Sergio Palazzo, Giuseppe Pappalardo. Modelling and Specifying a Presentation Protocol by Temporal Ordering. 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 423-440, North-Holland, 1984.
@inproceedings{CarchioloMPP84,
title = {Modelling and Specifying a Presentation Protocol by Temporal Ordering},
author = {Vincenza Carchiolo and Gesualdo Le Moli and Sergio Palazzo and Giuseppe Pappalardo},
year = {1984},
tags = {protocol},
researchr = {https://researchr.org/publication/CarchioloMPP84},
cites = {0},
citedby = {0},
pages = {423-440},
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},
}