Timed Concurrent Constraint Programming for Analysing Biological Systems

DOI10.1016/j.entcs.2007.05.012zbMath1277.68188OpenAlexW2055481619WikidataQ57652421 ScholiaQ57652421MaRDI QIDQ2864201

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

Publication date: 6 December 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.05.012

zbMATH Keywords

partial informationprocess calculiconcurrent constraint programming (CCP)verification of biological systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Systems biology, networks (92C42)

Related Items (3)

Non-determinism and Probabilities in Timed Concurrent Constraint Programming ⋮ Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming ⋮ Models and emerging trends of concurrent constraint programming

Uses Software

• cc(FD)
• Simpathica

Cites Work

• Unnamed Item
• Unnamed Item
• Decidability of infinite-state timed CCP processes and first-order LTL
• Computational methods in systems biology. International conference CMSB 2004, Paris, France, May 26--28, 2004. Revised selected papers.
• A multi-scale constraint programming model of alternative splicing regulation
• Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice
• Formal molecular biology
• BioAmbients: an abstraction for biological compartments
• Design, implementation, and evaluation of the constraint language cc(FD)
• Brane Calculi
• Computational Methods in Systems Biology
• Computational Methods in Systems Biology

This page was built for publication: Timed Concurrent Constraint Programming for Analysing Biological Systems