Modular Choreographies: Bridging Alice and Bob Notation to Java
Luís Cruz-Filipe, Anne Madsen, Fabrizio Montesi, Marco Peressotti
[2022].
In proceedings of Microservices 2022, pp. 3:1-3:18.
@inproceedings{DBLP:conf/microservices/Cruz-FilipeMMP22, author = {Lu{\'{\i}}s Cruz{-}Filipe and Anne Madsen and Fabrizio Montesi and Marco Peressotti}, editor = {Gokila Dorai and Maurizio Gabbrielli and Giulio Manzonetto and Aomar Osmani and Marco Prandini and Gianluigi Zavattaro and Olaf Zimmermann}, title = {Modular Choreographies: Bridging Alice and Bob Notation to Java}, booktitle = {Joint Post-proceedings of the Third and Fourth International Conference on Microservices, Microservices 2020/2022, May 10-12, 2022, Paris, France}, series = {OASIcs}, volume = {111}, pages = {3:1--3:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/OASIcs.Microservices.2020-2022.3}, doi = {10.4230/OASICS.MICROSERVICES.2020-2022.3}, timestamp = {Wed, 21 Aug 2024 22:46:00 +0200}, biburl = {https://dblp.org/rec/conf/microservices/Cruz-FilipeMMP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
A PDF is available (possibly a preprint):