19 citations · 32 across the 4 of their papers we have counts for
1 paper · 1 filter
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…