1922 search results - page 2 / 385 » Systems biology, models, and concurrency |
FMSB
2008
13 years 6 months ago
2008
Petri nets are a widely used formalism to qualitatively model concurrent systems such as a biological cell. We present techniques for modelling biological processes as Petri nets f...
ENTCS
2006
13 years 4 months ago
2006
In recent years, there has been increasing interest in computational models of biological systems based on various calculi of communicating processes, such as the stochastic pi-ca...
ICLP
2009
Springer
14 years 5 months ago
2009
Springer
In this paper, we study the modelization of biochemical reaction by using concurrent constraint programming idioms. In particular we will consider the stochastic concurrent constra...
CONCURRENCY
2007
13 years 4 months ago
2007
AB
2007
Springer
13 years 11 months ago
2007
Springer
We present SpiCO, a new modeling and simulation language for systems biology. SpiCO is based on the stochastic π-calculus. It supports higher level modeling via multi-profile con...