6 citations · 15 across the 5 of their papers we have counts for
5 papers
A Logic for Choreographies
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…
Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction
Simon Bliudze, Roberto Bruni, Davide Grohmann +1
This volume contains the proceedings of the 3rd Interaction and Concurrency Experience (ICE 2010) workshop, which was held in Amsterdam, Netherlands on 10th of June 2010 as a satel…
Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions
Filippo Bonchi, Davide Grohmann, Paola Spoletini +1
This volume contains the proceedings of the 2nd Workshop on Interaction and Concurrency Experience (ICE'09). The workshop was held in Bologna, Italy on 31th of August 2009, as a sa…
A framework for protein and membrane interactions
Giorgio Bacci, Davide Grohmann, Marino Miculan
We introduce the BioBeta Framework, a meta-model for both protein-level and membrane-level interactions of living cells. This formalism aims to provide a formal setting where to en…
Bigraphical models for protein and membrane interactions
Giorgio Bacci, Davide Grohmann, Marino Miculan
We present a bigraphical framework suited for modeling biological systems both at protein level and at membrane level. We characterize formally bigraphs corresponding to biological…