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.

• Type: Journal
• Year: 2007
• Where: ENTCS
• Authors: Julian Gutierrez, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia
• Keywords: Biological Systems, Concurrent Constraint Process, ENTCS 2007, Rst Approach