scientific article; zbMATH DE number 1759622

MaRDI QIDQ4536613zbMATH OpenFDO

Authors Michael Mislove

Publication date 25 June 2002

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Semantic domains for combining probability and non-determinism
• Probabilistic models for the guarded command language
• Retracted: Semantic domains for combining probability and non-determinism
• Axioms for probability and nondeterminism
• scientific article; zbMATH DE number 1324656

Cited in

(28)

• Layout randomization and nondeterminism
• Prevision Domains and Convex Powercones
• A monad for randomized algorithms
• Anatomy of a domain of continuous random variables. II
• Topological cones: functional analysis in a \(T_{0}\)-setting
• Discrete Lawvere theories and computational effects
• Discrete random variables over domains
• Anatomy of a domain of continuous random variables. I
• Nondeterminism through well-founded choice
• Axioms for probability and nondeterminism
• A trustful monad for axiomatic reasoning with probability and nondeterminism
• Combining effects: sum and tensor
• Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases
• Isomorphism theorems between models of mixed choice
• scientific article; zbMATH DE number 7566077 (Why is no real title available?)
• Combining probabilistic and non-deterministic choice via weak distributive laws
• Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice
• Remarks on testing probabilistic processes
• Probabilistic Choice, Reversibility, Loops, and Miracles
• Infinite choice and probability distributions. An open problem: the real hotel
• Closures in Binary Partial Algebras
• A denotational semantics for low-level probabilistic programs with nondeterminism
• Preference and non-deterministic choice
• A Kantorovich-monadic powerdomain for information hiding, with probability and nondeterminism
• Convex lattice equation systems
• Monads and Quantitative Equational Theories for Nondeterminism and Probability
• Probabilistic completion of nondeterministic models
• Coproducts of Ideal Monads

This page was built for publication:

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