Timed Concurrent Constraint Programming for Analysing Biological Systems

In this paper we present our first 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 unified framew...

Full description

Saved in:
Bibliographic Details
Published in:Electronic notes in theoretical computer science Vol. 171; no. 2; pp. 117 - 137
Main Authors: Gutiérrez, Julian, Pérez, Jorge A., Rueda, Camilo, Valencia, Frank D.
Format: Journal Article
Language:English
Published: Elsevier B.V 05.07.2007
Subjects:
Concurrent Constraint Programming (CCP)
Partial Information
Process Calculi
Verification of Biological Systems
Verification of Biological Systems
Concurrent Constraint Programming (CCP)
Partial Information
Process Calculi
ISSN:1571-0661, 1571-0661
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:In this paper we present our first 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 unified framework for the analysis of biological systems, as they can be described, simulated and verified using the elements provided by the calculus.
ISSN:1571-0661
1571-0661
DOI:10.1016/j.entcs.2007.05.012