Alessandro Fantechi, Stefania Gnesi, Gioia Ristori. Compositional logic semantics and LOTOS. In Luigi Logrippo, Robert L. Probert, Hasan Ural, editors, Protocol Specification, Testing and Verification X, Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990. pages 365-378, North-Holland, 1990.
@inproceedings{FantechiGR90,
title = {Compositional logic semantics and LOTOS},
author = {Alessandro Fantechi and Stefania Gnesi and Gioia Ristori},
year = {1990},
tags = {semantics, composition, logic},
researchr = {https://researchr.org/publication/FantechiGR90},
cites = {0},
citedby = {0},
pages = {365-378},
booktitle = {Protocol Specification, Testing and Verification X, Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990},
editor = {Luigi Logrippo and Robert L. Probert and Hasan Ural},
publisher = {North-Holland},
isbn = {0-444-88810-1},
}