Sciweavers

ENTCS
2007
82views more  ENTCS 2007»
14 years 13 days 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»
14 years 16 days ago
Bisimulations in calculi modelling membranes
Abstract. Bisimulations are well
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo ...