Towards Probabilistic Session-Type Monitoring

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

Journal title: Proceedings 23rd IFIP WG 6.1 International Conference, COORDINATION 2021

Journal publisher: Springer International Publishing

Published year: 2021

Published pages: 106–120

DOI identifier: 10.48550/arxiv.2107.08729

ISSN: 1611-3349