Timed concurrent constraint programming for analysing biological systems

DOI10.1016/J.ENTCS.2007.05.012MaRDI QIDQ2864201zbMATH OpenOpenAlexWikidataFDO

Authors Julian Gutiérrez, 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

concurrent constraint programming (CCP)partial informationprocess calculiverification 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)

Recommendations

• Modeling biological systems in stochastic concurrent constraint programming
• A symbolic model for timed concurrent constraint programming
• scientific article; zbMATH DE number 2084713
• scientific article; zbMATH DE number 1809625
• scientific article; zbMATH DE number 2087501

Cites work

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

Cited in

(6)

• Models and emerging trends of concurrent constraint programming
• A declarative view of signaling pathways
• scientific article; zbMATH DE number 2090521 (Why is no real title available?)
• Non-determinism and Probabilities in Timed Concurrent Constraint Programming
• Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming
• Modeling biological systems in stochastic concurrent constraint programming

Describes a project that uses

Uses Software

• cc(FD)
• Simpathica

This page was built for publication: Timed concurrent constraint programming for analysing biological systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2864201)