%0 Journal Article %1 journals/scp/BurloFSTT22 %A Burlò, Christian Bartolo %A Francalanza, Adrian %A Scalas, Alceste %A Trubiani, Catia %A Tuosto, Emilio %D 2022 %J Sci. Comput. Program. %K dblp %P 102847 %T PSTMonitor: Monitor synthesis from probabilistic session types. %U http://dblp.uni-trier.de/db/journals/scp/scp222.html#BurloFSTT22 %V 222

@article{journals/scp/BurloFSTT22, added-at = {2023-08-28T00:00:00.000+0200}, author = {Burlò, Christian Bartolo and Francalanza, Adrian and Scalas, Alceste and Trubiani, Catia and Tuosto, Emilio}, biburl = {https://www.bibsonomy.org/bibtex/28a778e6f08961c23caa4dac24a185f3c/dblp}, ee = {https://www.wikidata.org/entity/Q114134829}, interhash = {9bbe288156746a775830cbc46bf56aff}, intrahash = {8a778e6f08961c23caa4dac24a185f3c}, journal = {Sci. Comput. Program.}, keywords = {dblp}, pages = 102847, timestamp = {2024-04-09T05:27:17.000+0200}, title = {PSTMonitor: Monitor synthesis from probabilistic session types.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp222.html#BurloFSTT22}, volume = 222, year = 2022 }