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

Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

Résumé

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.

langue originale	Anglais
Pages (de - à)	117-137
Nombre de pages	21
journal	Electronic Notes in Theoretical Computer Science
Volume	171
Numéro de publication	2 SPEC. ISS.
Les DOIs	https://doi.org/10.1016/j.entcs.2007.05.012
état	Publié - 5 juil. 2007

Accès au document

10.1016/j.entcs.2007.05.012

Autres fichiers et liens

Lien vers la publication dans Scopus

Contient cette citation

@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

UR - https://www.scopus.com/pages/publications/34250852244

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

Résumé

Accès au document

Autres fichiers et liens

Empreinte digitale

Contient cette citation