Sciweavers

Share
CLEIEJ
2006

A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems

8 years 6 months ago
A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of a system, thus providing a concrete design methodology for complex systems. ntcc , a constraints-based calculus for modeling temporal non-deterministic and asynchronous behaviour of processes has been proposed recently. Process interactions in ntcc can be determined by partial information (i.e. constraints) accumulated in a global store. ntcc has also an associated temporal logic with a proof system that can be conveniently used to formally verify temporal properties of processes. We are interested in using ntcc to model the activity of genes in biological systems. In order to account for issues such as the basal rate of reactions or binding affinities of molecular components, we believe that stochastic features must be added to the calculus. In this paper we propose an extension of ntcc with various stochas...
Carlos Olarte, Camilo Rueda
Added 11 Dec 2010
Updated 11 Dec 2010
Type Journal
Year 2006
Where CLEIEJ
Authors Carlos Olarte, Camilo Rueda
Comments (0)
books