Luís Cruz-Filipe, Anne Madsen, Fabrizio Montesi, Marco Peressotti. Modular Choreographies: Bridging Alice and Bob Notation to Java. In Gokila Dorai, Maurizio Gabbrielli, Giulio Manzonetto, Aomar Osmani, Marco Prandini, Gianluigi Zavattaro, Olaf Zimmermann, editors, Joint Post-proceedings of the Third and Fourth International Conference on Microservices, Microservices 2020/2022, May 10-12, 2022, Paris, France. Volume 111 of OASIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. [doi]
@inproceedings{Cruz-FilipeMMP22,
title = {Modular Choreographies: Bridging Alice and Bob Notation to Java},
author = {Luís Cruz-Filipe and Anne Madsen and Fabrizio Montesi and Marco Peressotti},
year = {2022},
doi = {10.4230/OASIcs.Microservices.2020-2022.3},
url = {https://doi.org/10.4230/OASIcs.Microservices.2020-2022.3},
researchr = {https://researchr.org/publication/Cruz-FilipeMMP22},
cites = {0},
citedby = {0},
booktitle = {Joint Post-proceedings of the Third and Fourth International Conference on Microservices, Microservices 2020/2022, May 10-12, 2022, Paris, France},
editor = {Gokila Dorai and Maurizio Gabbrielli and Giulio Manzonetto and Aomar Osmani and Marco Prandini and Gianluigi Zavattaro and Olaf Zimmermann},
volume = {111},
series = {OASIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-306-5},
}