Probabilistic communicating processes
From MaRDI portal
concurrencycommunicating sequential processes (CSP)conditional probability measures of infinite tracescorrectness of probabilistic algorithmsprobability measures on the space of infinite tracesproof rules for the deterministic properties of probabilistic algorithmsself-stabilising tokenringspecification of distributed systems
Recommendations
Cites work
- scientific article; zbMATH DE number 4179422 (Why is no real title available?)
- scientific article; zbMATH DE number 3126031 (Why is no real title available?)
- scientific article; zbMATH DE number 4039251 (Why is no real title available?)
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 3638844 (Why is no real title available?)
- scientific article; zbMATH DE number 194539 (Why is no real title available?)
- A lattice-theoretical fixpoint theorem and its applications
- Bisimulation through probabilistic testing
- CONCUR '90. Theories of concurrency: unification and extension. Amsterdam, The Netherlands, August 1990. Proceedings
- Defining liveness
- LOTOS extended with probabilistic behaviours
- Probabilistic self-stabilization
- Reactive, generative, and stratified models of probabilistic processes
- Recursion induction for real-time processes
Cited in
(27)- Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice
- Stepwise refinement of sequence diagrams with soft real-time constraints
- Processes with probabilities, priority and time
- Probabilistic process algebra and strategic interleaving
- A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
- \(\pi\)-calculus with noisy channels
- scientific article; zbMATH DE number 4173054 (Why is no real title available?)
- Communicating Sequential Processes. The First 25 Years
- Additive models of probabilistic processes
- A linear process-algebraic format with data for probabilistic automata
- A logical approach to multilevel security of probabilistic systems
- Probabilistic may/must testing: retaining probabilities by restricted schedulers
- Bisimulation for probabilistic transition systems: A coalgebraic approach
- Rational Processes Related to Communicating Markov Processes
- Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language
- Behavioural equivalences of a probabilistic pi-calculus
- Refinement-oriented probability for CSP
- Testing probabilistic equivalence through reinforcement learning
- Validation of Stochastic Systems
- scientific article; zbMATH DE number 4050975 (Why is no real title available?)
- \textsc{ULTraS} at work: compositionality metaresults for bisimulation and trace semantics
- Coordination Models and Languages
- Hierarchical reasoning in probabilistic CSP
- A model of probabilistic processes
- Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving
- Using Probabilistic Kleene Algebra for Protocol Verification
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
This page was built for publication: Probabilistic communicating processes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q672230)