6 citations · 15 across the 5 of their papers we have counts for
1 paper · 1 filter
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…