10 citations · 16 across the 3 of their papers we have counts for
3 papers
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…