papers
Publications (5)
cs.PL2011
A Logic for Choreographies
Marco Carbone, Davide Grohmann, Thomas T. Hildebrandt +1
cs.LO2010
Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction
Simon Bliudze, Roberto Bruni, Davide Grohmann +1
cs.CE2009
A framework for protein and membrane interactions
Giorgio Bacci, Davide Grohmann, Marino Miculan
cs.CE2009
Bigraphical models for protein and membrane interactions
Giorgio Bacci, Davide Grohmann, Marino Miculan
cs.LO2009
Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions
Filippo Bonchi, Davide Grohmann, Paola Spoletini +1