Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto. PSTMonitor: Monitor synthesis from probabilistic session types. Science of Computer Programming, 222:102847, 2022. [doi]
No references recorded for this publication.
No citations of this publication recorded.