Sciweavers

ENTCS
2007
82views more  ENTCS 2007»
13 years 4 months ago
A Simple Calculus for Proteins and Cells
The use of process calculi to represent biological systems has led to the design of different formalisms such as brane calculi and κ-calculus. Both have proved to be useful to m...
Cosimo Laneve, Fabien Tarissan
FAC
2008
100views more  FAC 2008»
13 years 4 months ago
Bisimulations in calculi modelling membranes
Abstract. Bisimulations are well
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo ...