Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming

DOI10.1007/978-3-540-89982-2_57MaRDI QIDQ5504691zbMATH OpenOpenAlexWikidataFDO

Authors Jesús Aranda, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia

Publication date 22 January 2009

Published in Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-89982-2_57

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Modeling biological systems in stochastic concurrent constraint programming
• Non-determinism and Probabilities in Timed Concurrent Constraint Programming
• Hybrid dynamics of stochastic programs
• Probabilistic concurrent constraint programming
• Stochastic programs and hybrid automata for (biological) modeling

Cites work

• scientific article; zbMATH DE number 1809625 (Why is no real title available?)
• scientific article; zbMATH DE number 683349 (Why is no real title available?)
• A process model of rho GTP-binding proteins in the context of phagocytosis
• Timed concurrent constraint programming for analysing biological systems
• Truly concurrent constraint programming

Cited in

(6)

• Modeling biological systems in stochastic concurrent constraint programming
• On the approximation of stochastic concurrent constraint programming by master equation
• The stochastic geometric machine model
• Categories of timed stochastic relations
• Models and emerging trends of concurrent constraint programming
• Non-determinism and Probabilities in Timed Concurrent Constraint Programming

This page was built for publication: Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming

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