Retracted: Semantic domains for combining probability and non-determinism
From MaRDI portal
Publication:371258
zbMath1271.68004MaRDI QIDQ371258
Klaus Keimel, Gordon D. Plotkin, Regina Tix
Publication date: 30 September 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: http://www.sciencedirect.com/science/journal/15710661/129
Scott topologyprobabilistic powerdomaincontinuous domainsconvex powerdomainsdomain-theoretic modelssemantic domains
Semantics in the theory of computing (68Q55) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Continuous lattices and posets, applications (06B35)
Related Items
Observationally-induced algebras in domain theory, QRB, QFS, and the probabilistic powerdomain, Reasoning about probabilistic sequential programs, Discrete Lawvere theories and computational effects, From probability monads to commutative effectuses, Generic weakest precondition semantics from monads enriched with order, Lattice-valued Scott topology on dcpos, Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases, Semantics of non-deterministic possibility computation, Comparing free algebras in topological and classical domain theory, Probabilistic anonymity via coalgebraic simulations, True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures, Combining effects: sum and tensor, Simulation Hemi-metrics between Infinite-State Stochastic Games, Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting, Prevision Domains and Convex Powercones, A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language, Domain semantics of possibility computations, Remarks on Testing Probabilistic Processes, Probabilistic Completion of Nondeterministic Models, Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems, Unnamed Item
