Timed Concurrent Constraint Programming for Analysing Biological Systems

Authors:
Julian Gutiérrez;Jorge A. Pérez;Camilo Rueda;Frank D. Valencia
Affiliations:
Department of Science and Engineering of Computing, Pontificia Universidad Javeriana, Cali, Colombia;Department of Science and Engineering of Computing, Pontificia Universidad Javeriana, Cali, Colombia;Department of Science and Engineering of Computing, Pontificia Universidad Javeriana, Cali, Colombia;CNRS and LIX, École Polytechnique, Palaiseau, France
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2007

Citing 14
Cited 5

The semantic foundations of concurrent constraint programming

POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Temporal concurrent constraint programming: denotation, logic and applications

Nordic Journal of Computing
Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems

ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Programming in Hybrid Constraint Languages

Hybrid Systems II
Design, Implementation, and Evaluation of the Constraint Language cc(FD)

Selected Papers from Constraint Programming: Basics and Trends
A multi-scale constraint programming model of alternative splicing regulation

Theoretical Computer Science - Special issue: Computational systems biology
Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice

Theoretical Computer Science - Special issue: Computational systems biology
Formal molecular biology

Theoretical Computer Science - Special issue: Computational systems biology
BioAmbients: an abstraction for biological compartments

Theoretical Computer Science - Special issue: Computational systems biology
Decidability of infinite-state timed CCP processes and first-order LTL

Theoretical Computer Science - Expressiveness in concurrency
Machine learning biochemical networks from temporal logic properties

Transactions on Computational Systems Biology VI
Beta binders for biological interactions

CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Building and analysing an integrative model of HIV-1 RNA alternative splicing

CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Brane calculi

CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology

Non-determinism and Probabilities in Timed Concurrent Constraint Programming

ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming

ICLP '08 Proceedings of the 24th International Conference on Logic Programming
An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems

ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Simulating Signalling Pathways With BioWayS

Electronic Notes in Theoretical Computer Science (ENTCS)
Models and emerging trends of concurrent constraint programming

Constraints

Quantified Score

Hi-index	0.00

Visualization

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.