Towards Probabilistic Session-Type Monitoring

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: Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto

Journal title: Coordination Models and Languages - 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings

Journal number: 12717

Journal publisher: Springer International Publishing

Published year: 2021

Published pages: 106-120

DOI identifier: 10.1007/978-3-030-78142-2_7

ISBN: 978-3-030-78141-5