Interval Probability for Sessions Types.

Bogdan Aman, Gabriel Ciobanu

Browse the full WoLLIC paper archive.