32 citations · 78 across the 20 of their papers we have counts for
1 paper · 2 filters
Marco Carbone, Davide Grohmann, Thomas T. Hildebrandt +1
We explore logical reasoning for the global calculus, a coordination model based on the notion of choreography, with the aim to provide a methodology for specification and verifica…