Filters








2 Hits in 10.7 sec

Probabilistic Analysis of Binary Sessions [article]

Omar Inverso, Hernán Melgratti, Luca Padovani, Catia Trubiani, Emilio Tuosto
2020 arXiv   pre-print
The probability annotations in session types enable the reasoning on the probability that a session terminates successfully, for some user-definable notion of successful termination.  ...  We develop a type system for a simple session calculus featuring probabilistic choices and show that the success probability of well-typed processes agrees with that of the sessions they use.  ...  ., 41(2):10:1-10:65, 2019. doi:10.1145/3293605. 35 Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, volume 5065, pages 681-700.  ... 
arXiv:2007.11832v1 fatcat:lm3en6xenvhphoeqpf3xzpzz44

Probabilistic Analysis of Binary Sessions

Omar Inverso, Hernán Melgratti, Luca Padovani, Catia Trubiani, Emilio Tuosto
2020 Zenodo  
The probability annotations in session types enable the reasoning on the probability that a session terminates successfully, for some user-definable notion of successful termination.  ...  We develop a type system for a simple session calculus featuring probabilistic choices and show that the success probability of well-typed processes agrees with that of the sessions they use.  ...  ., 41(2):10:1-10:65, 2019. doi:10.1145/3293605. 35 Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, volume 5065, pages 681-700.  ... 
doi:10.5281/zenodo.3951066 fatcat:ysb4xxrd5ffjddrxkpcb35db3y