activity
20122026
most citedOn the Preciseness of Subtyping in Session Types

35 citations · 63 across the 23 of their papers we have counts for

collaborators
Showing 2021Show all

2 papers · 1 filter

cs.PL2021

Proceedings 14th Interaction and Concurrency Experience

Julien Lange, Anastasia Mavridou, Larisa Safina +1

This volume contains the proceedings of ICE'21, the 14th Interaction and Concurrency Experience, which was held online on the 18th of June 2021, as a satellite event of DisCoTec'21…

cs.PL2021★ 6 cited

Towards Probabilistic Session-Type Monitoring

Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas +2

We present a tool-based approach for the runtime analysis of communicating processes grounded on probabilistic binary session types. We synthesise a monitor out of a probabilistic…