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

Producción: Contribución a una revista › Artículo › revisión exhaustiva

8 Citas (Scopus)

Resumen

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.

Idioma original	Inglés
Páginas (desde-hasta)	117-137
Número de páginas	21
Publicación	Electronic Notes in Theoretical Computer Science
Volumen	171
N.º	2 SPEC. ISS.
DOI	https://doi.org/10.1016/j.entcs.2007.05.012
Estado	Publicada - 05 jul. 2007
Publicado de forma externa	Sí

Acceder al documento

10.1016/j.entcs.2007.05.012

Otros archivos y enlaces

Enlace a la publicación en Scopus

Citar esto

@article{70289c319dfe4fa4ad95a87c1b04b337,

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

publisher = "Elsevier B.V.",

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

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

Resumen

Acceder al documento

Otros archivos y enlaces

Huella

Citar esto