13 citations · 54 across the 15 of their papers we have counts for
1 paper · 2 filters
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…