Probabilistic and prioritized models of timed CSP
From MaRDI portal
Recommendations
- Non-determinism and Probabilities in Timed Concurrent Constraint Programming
- A branching time model of CSP
- An operational semantics for timed CSP
- Validation of Stochastic Systems
- A decidable probability logic for timed probabilistic systems
- Probabilistic and Topological Semantics for Timed Automata
- Polytime model checking for times probabilistic computation tree logic
Cites work
- scientific article; zbMATH DE number 4039251 (Why is no real title available?)
- scientific article; zbMATH DE number 4050970 (Why is no real title available?)
- A brief history of Timed CSP
- Priorities in process algebras
- Probabilistic and prioritized models of timed CSP
- The timed failures -- Stability model for CSP
Cited in
(24)- A translation of \(\text{TPAL}_{p}\) into a class of timed-probabilistic Petri nets
- Probabilistic mobile ambients
- Processes with probabilities, priority and time
- A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
- Non-determinism and Probabilities in Timed Concurrent Constraint Programming
- Slow abstraction via priority
- The timed failures -- Stability model for CSP
- scientific article; zbMATH DE number 140226 (Why is no real title available?)
- Probabilistic Analysis of Binary Sessions
- Algebraic theory of probabilistic processes.
- On the use of model and logical embeddings for model checking of probabilistic systems
- Remarks on testing probabilistic processes
- Coordination Models and Languages
- Hierarchical reasoning in probabilistic CSP
- An operational semantics for timed CSP
- Probabilistic and prioritized models of timed CSP
- Process algebra for performance evaluation
- Prioritized slotted-Circus
- On timed models and full abstraction
- Probabilistic communicating processes
- The expressiveness of CSP with priority
- Process algebra and model checking
- A timed model for communicating sequential processes
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
This page was built for publication: Probabilistic and prioritized models of timed CSP
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q674193)
