25 citations · 30 across the 2 of their papers we have counts for
Showing cs.CEShow all
2 papers · 1 filter
cs.CE2010★ 25 cited
Stochastic Calculus of Wrapped Compartments
Mario Coppo, Ferruccio Damiani, Maurizio Drocco +2
The Calculus of Wrapped Compartments (CWC) is a variant of the Calculus of Looping Sequences (CLS). While keeping the same expressiveness, CWC strongly simplifies the development o…
cs.CE2010★ 5 cited
Types for BioAmbients
Sara Capecchi, Angelo Troina
The BioAmbients calculus is a process algebra suitable for representing compartmentalization, molecular localization and movements between compartments. In this paper we enrich thi…