Non-determinism and Probabilities in Timed Concurrent Constraint Programming
DOI10.1007/978-3-540-89982-2_56zbMATH Open1185.68451OpenAlexW1488613427WikidataQ57652416 ScholiaQ57652416MaRDI QIDQ5504690FDOQ5504690
Authors: Jorge A. Pérez, Camilo Rueda 
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_56
Recommendations
- Probabilistic concurrent constraint programming
- Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming
- Probability and Nondeterminism in Operational Models of Concurrency
- A symbolic model for timed concurrent constraint programming
- Probabilistic and prioritized models of timed CSP
Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Truly concurrent constraint programming
- A logic for reasoning about time and reliability
- Title not available (Why is that?)
- Probabilistic and nondeterministic aspects of anonymity
- Title not available (Why is that?)
- Title not available (Why is that?)
- Modeling concurrent systems specified in a temporal concurrent constraint language. I
- Title not available (Why is that?)
- Timed concurrent constraint programming for analysing biological systems
Cited In (10)
- Probabilistic and prioritized models of timed CSP
- Probability and Nondeterminism in Operational Models of Concurrency
- Title not available (Why is that?)
- Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language
- Probabilistic concurrent constraint programming
- Models and emerging trends of concurrent constraint programming
- Mean-field semantics for a process calculus for spatially-explicit ecological models
- Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming
- Denotational semantics for a probabilistic timed shared-variable language
- A general overview of formal languages for individual-based modelling of ecosystems
This page was built for publication: Non-determinism and Probabilities in Timed Concurrent Constraint Programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5504690)
