Modular Choreographies: Bridging Alice and Bob Notation to Java

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]

Authors

Luís Cruz-Filipe

This author has not been identified. Look up 'Luís Cruz-Filipe' in Google

Anne Madsen

This author has not been identified. Look up 'Anne Madsen' in Google

Fabrizio Montesi

This author has not been identified. Look up 'Fabrizio Montesi' in Google

Marco Peressotti

This author has not been identified. Look up 'Marco Peressotti' in Google