1922 search results - page 6 / 385 » Systems biology, models, and concurrency |
NC
2010
14 years 7 months ago
2010
This paper presents two approaches based on metabolic and stochastic P systems, together with their associated analysis methods, for modelling biological systems and illustrates th...
TCS
2008
14 years 9 months ago
2008
Interpretation and Types for Systems Biology Fran
EUROMICRO
2009
IEEE
15 years 4 months ago
2009
IEEE
—We have defined a software component model which specifies components and composition operators. These operators coordinate and encapsulate concurrency between components. In ...
JOT
2008
14 years 9 months ago
2008
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...
101
click to vote
CMSB
2009
Springer
15 years 4 months ago
2009
Springer
Recently, there has been considerable interest in the use of Model Checking for Systems Biology. Unfortunately, the state space of stochastic biological models is often too large f...