A Probabilistic Choreography Language for PRISM

Marco Carbone, Adele Veschetti

We present a choreographic framework for modelling and analysing concurrent probabilistic systems based on the PRISM model-checker. This is achieved through the development of a ch…