activity
20162026
most citedPSTMonitor: Monitor Synthesis from Probabilistic Session Types

7 citations · 16 across the 17 of their papers we have counts for

collaborators
Showing 2021 · cs.PLShow all

2 papers · 2 filters

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…