13 citations · 54 across the 13 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
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…
cs.FL2021★ 1 cited
Composition of choreography automata
Franco Barbanera, Ivan Lanese, Emilio Tuosto
Choreography automata are an automata-based model of choreographies, that we show to be a compositional one. Choreography automata represent global views of choreographies (and rel…