Non-determinism and Probabilities in Timed Concurrent Constraint Programming

DOI10.1007/978-3-540-89982-2_56MaRDI QIDQ5504690zbMATH OpenOpenAlexWikidataFDO

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

Mathematics Subject Classification ID

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)

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

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?)
• scientific article; zbMATH DE number 1512615 (Why is no real title available?)
• scientific article; zbMATH DE number 1444329 (Why is no real title available?)
• A logic for reasoning about time and reliability
• Modeling concurrent systems specified in a temporal concurrent constraint language. I
• Probabilistic and nondeterministic aspects of anonymity
• Timed concurrent constraint programming for analysing biological systems
• Truly concurrent constraint programming

Cited in

(10)

• Probabilistic and prioritized models of timed CSP
• Probability and Nondeterminism in Operational Models of Concurrency
• Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language
• scientific article; zbMATH DE number 1444329 (Why is no real title available?)
• 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
• A general overview of formal languages for individual-based modelling of ecosystems
• Denotational semantics for a probabilistic timed shared-variable language

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)