We use the pi-calculus to model the evolution of biochemical systems, taking advantage of their similarities with global computation applications. First, we present a reduction semantics for the pi-calculus from which causality and concurrency can be mechanically derived. We prove that our semantics agrees with the causal definitions presented in the literature. We also extend our semantics to model biological compartments. Then, we show the applicability of our proposal on a couple of biological examples.
|Autori interni:||DEGANO, PIERPAOLO|
|Autori:||CURTI M; DEGANO P; PRIAMI C; BALDARI C.T|
|Titolo:||Modelling Biochemical Pathways through Enhanced pi-calculus|
|Anno del prodotto:||2004|
|Digital Object Identifier (DOI):||10.1016/j.tcs.2004.03.066|
|Appare nelle tipologie:||1.1 Articolo in rivista|