Choreography Automata

Summary

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Franco Barbanera, Ivan Lanese, Emilio Tuosto

Journal title: Coordination Models and Languages - 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings

Journal number: 12134

Journal publisher: Springer International Publishing

Published year: 2020

Published pages: 86-106

DOI identifier: 10.1007/978-3-030-50029-0_6

ISBN: 978-3-030-50028-3