32 citations · 78 across the 20 of their papers we have counts for
1 paper · 1 filter
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…