scientific article; zbMATH DE number 1759622

zbMATH Open0999.68147MaRDI QIDQ4536613FDOQ4536613

Michael Mislove

Publication date: 25 June 2002

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (23)

• Prevision Domains and Convex Powercones
• A monad for randomized algorithms
• 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
• A trustful monad for axiomatic reasoning with probability and nondeterminism
• Combining effects: sum and tensor
• Probabilistic Completion of Nondeterministic Models
• Isomorphism theorems between models of mixed choice
• Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases
• Title not available (Why is that?)
• Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice
• Remarks on testing probabilistic processes
• Probabilistic Choice, Reversibility, Loops, and Miracles
• Closures in Binary Partial Algebras
• Preference and non-deterministic choice
• A denotational semantics for low-level probabilistic programs with nondeterminism
• Convex lattice equation systems
• Anatomy of a Domain of Continuous Random Variables II
• Monads and Quantitative Equational Theories for Nondeterminism and Probability
• 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)