Sciweavers

Share
ENTCS
2007

Timed Concurrent Constraint Programming for Analysing Biological Systems

8 years 6 months ago
Timed Concurrent Constraint Programming for Analysing Biological Systems
In this paper we present our rst approach to model and verify biological systems using ntcc, a concurrent constraint process calculus. We argue that the partial information constructs in ntcc can provide a suitable language for such systems. We also illustrate how ntcc may provide a uni ed framework for the analysis of biological systems, as they can be described, simulated and veri ed using the elements available in the calculus.
Julian Gutierrez, Jorge A. Pérez, Camilo Ru
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2007
Where ENTCS
Authors Julian Gutierrez, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia
Comments (0)
books