10 citations · 17 across the 4 of their papers we have counts for
4 papers
A Calculus of Located Entities
Adriana Compagnoni, Paola Giannini, Catherine Kim +2
We define BioScapeL, a stochastic pi-calculus in 3D-space. A novel aspect of BioScapeL is that entities have programmable locations. The programmer can specify a particular locatio…
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…
Relating Church-Style and Curry-Style Subtyping
Adriana Compagnoni, Healfdene Goguen
Type theories with higher-order subtyping or singleton types are examples of systems where computation rules for variables are affected by type information in the context. A compli…
Computational Modeling for the Activation Cycle of G-proteins by G-protein-coupled Receptors
Yifei Bao, Adriana Compagnoni, Joseph Glavy +1
In this paper, we survey five different computational modeling methods. For comparison, we use the activation cycle of G-proteins that regulate cellular signaling events downstream…