08/03/2024 – Talk: “A Probabilistic Choreography Language for PRISM” By Marco Carbone
Marco Carbone will give a talk about his work on A Probabilistic Choreography Language for PRISM. Details below. SPEAKER Marco Carbone, Prof., ITU. TITLE A Probabilistic Choreography Language for PRISM ABSTRACT[…]