Timed Concurrent Constraint Programming for Analysing Biological Systems

Julian Gutiérrez; Jorge A. Pérez; Camilo Rueda; Frank D. Valencia

doi:10.1016/j.entcs.2007.05.012

Timed Concurrent Constraint Programming for Analysing Biological Systems

Julian Gutiérrez
, Jorge A. Pérez
, Camilo Rueda
, Frank D. Valencia

Pontificia Universidad Javeriana de Cali

Research output: Contribution to journal › Article › peer-review

Abstract

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.

Original language	English
Pages (from-to)	117-137
Number of pages	21
Journal	Electronic Notes in Theoretical Computer Science
Volume	171
Issue number	2 SPEC. ISS.
DOIs	https://doi.org/10.1016/j.entcs.2007.05.012
Publication status	Published - 5 Jul 2007

Keywords

Concurrent Constraint Programming (CCP)
Partial Information
Process Calculi
Verification of Biological Systems

Access to Document

10.1016/j.entcs.2007.05.012

Cite this

@article{5cf612cebaa34973ace164197db8bc95,

title = "Timed Concurrent Constraint Programming for Analysing Biological Systems",

abstract = "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.",

keywords = "Concurrent Constraint Programming (CCP), Partial Information, Process Calculi, Verification of Biological Systems",

author = "Julian Guti{\'e}rrez and P{\'e}rez, \{Jorge A.\} and Camilo Rueda and Valencia, \{Frank D.\}",

year = "2007",

month = jul,

day = "5",

doi = "10.1016/j.entcs.2007.05.012",

language = "English",

volume = "171",

pages = "117--137",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

number = "2 SPEC. ISS.",

}

TY - JOUR

T1 - Timed Concurrent Constraint Programming for Analysing Biological Systems

AU - Gutiérrez, Julian

AU - Pérez, Jorge A.

AU - Rueda, Camilo

AU - Valencia, Frank D.

PY - 2007/7/5

Y1 - 2007/7/5

N2 - 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.

AB - 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.

KW - Concurrent Constraint Programming (CCP)

KW - Partial Information

KW - Process Calculi

KW - Verification of Biological Systems

U2 - 10.1016/j.entcs.2007.05.012

DO - 10.1016/j.entcs.2007.05.012

M3 - Article

AN - SCOPUS:34250852244

SN - 1571-0661

VL - 171

SP - 117

EP - 137

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

IS - 2 SPEC. ISS.

ER -

Timed Concurrent Constraint Programming for Analysing Biological Systems

Abstract

Keywords

Access to Document

Fingerprint

Cite this