Gwen Salaün, Jeff Kramer, Frédéric Lang, Jeff Magee. Translating FSP into LOTOS and Networks of Automata. In Jim Davies, Jeremy Gibbons, editors, Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings. Volume 4591 of Lecture Notes in Computer Science, pages 558-578, Springer, 2007. [doi]
@inproceedings{SalaunKLM07,
title = {Translating FSP into LOTOS and Networks of Automata},
author = {Gwen Salaün and Jeff Kramer and Frédéric Lang and Jeff Magee},
year = {2007},
doi = {10.1007/978-3-540-73210-5_29},
url = {http://dx.doi.org/10.1007/978-3-540-73210-5_29},
tags = {translation},
researchr = {https://researchr.org/publication/SalaunKLM07},
cites = {0},
citedby = {0},
pages = {558-578},
booktitle = {Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings},
editor = {Jim Davies and Jeremy Gibbons},
volume = {4591},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-73209-9},
}