102 citations · 342 across the 33 of their papers we have counts for
3 papers · 1 filter
Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions
Adriana Compagnoni, Mariangiola Dezani-Ciancaglini, Paola Giannini +3
BioScape is a concurrent language motivated by the biological landscapes found at the interface of biology and biomaterials. It has been motivated by the need to model antibacteria…
A Calculus of Looping Sequences with Local Rules
Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini +1
In this paper we present a variant of the Calculus of Looping Sequences (CLS for short) with global and local rewrite rules. While global rules, as in CLS, are applied anywhere in…
On Global Types and Multi-Party Session
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani
Global types are formal specifications that describe communication protocols in terms of their global interactions. We present a new, streamlined language of global types equipped…