Guy Leduc. An Upward Compatible Timed Extension to LOTOS. In Ken R. Parker, Gordon A. Rose, editors, Formal Description Techniques, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE 91, Sydney, Australia, 19-22 November 1991. Volume C-2 of IFIP Transactions, pages 217-232, North-Holland, 1991.
@inproceedings{Leduc91:0,
title = {An Upward Compatible Timed Extension to LOTOS},
author = {Guy Leduc},
year = {1991},
researchr = {https://researchr.org/publication/Leduc91%3A0},
cites = {0},
citedby = {0},
pages = {217-232},
booktitle = {Formal Description Techniques, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE 91, Sydney, Australia, 19-22 November 1991},
editor = {Ken R. Parker and Gordon A. Rose},
volume = {C-2},
series = {IFIP Transactions},
publisher = {North-Holland},
isbn = {0-444-89402-0},
}