A Probabilistic Choreography Language for PRISM.

Marco Carbone, Adele Veschetti

Browse the full Coordination paper archive.