BARTOLO BURLÒ, CHRISTIAN
BARTOLO BURLÒ, CHRISTIAN
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.001 secondi).
PSTMonitor: Monitor synthesis from probabilistic session types
2022-01-01 Bartolo Burlò, Christian; Francalanza, Adrian; Scalas, Alceste; Trubiani, Catia; Tuosto, Emilio
Towards Probabilistic Session-Type Monitoring
2021-01-01 Bartolo Burlò, Christian; Francalanza, Adrian; Scalas, Alceste; Trubiani, Catia; Tuosto, Emilio
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
PSTMonitor: Monitor synthesis from probabilistic session types | 1-gen-2022 | Bartolo Burlò, Christian; Francalanza, Adrian; Scalas, Alceste; Trubiani, Catia; Tuosto, Emilio | |
Towards Probabilistic Session-Type Monitoring | 1-gen-2021 | Bartolo Burlò, Christian; Francalanza, Adrian; Scalas, Alceste; Trubiani, Catia; Tuosto, Emilio |