Timed concurrent constraint programming for analysing biological systems

Julian Gutierrez; 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 Gutierrez, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia

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

8 Citations (Scopus)

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 - 2007
Externally published	Yes

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{793708408a8e456cacfe033285344eaf,

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 Gutierrez and P{\'e}rez, {Jorge A.} and Camilo Rueda and Valencia, {Frank D.}",

year = "2007",

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",

publisher = "Elsevier BV",

number = "2 SPEC. ISS.",

}

TY - JOUR

T1 - Timed concurrent constraint programming for analysing biological systems

AU - Gutierrez, Julian

AU - Pérez, Jorge A.

AU - Rueda, Camilo

AU - Valencia, Frank D.

PY - 2007

Y1 - 2007

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

UR - http://www.scopus.com/inward/record.url?scp=34250852244&partnerID=8YFLogxK

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

Other files and links

Cite this