Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems

DOI10.1016/j.entcs.2008.05.023zbMath1279.68232OpenAlexW1964907332MaRDI QIDQ2873666

Bart Jacobs

Publication date: 24 January 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.05.023

zbMATH Keywords

coalgebraprobabilistic nondeterminism

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Related Items

Identifying all preorders on the subdistribution monad, Convexity via Weak Distributive Laws, Behavioural equivalences for coalgebras with unobservable moves, A coalgebraic approach to non-determinism: applications to multilattices, Unnamed Item, Combining semilattices and semimodules, Unnamed Item, Unnamed Item, Unnamed Item, Monads and Quantitative Equational Theories for Nondeterminism and Probability, Probabilistic mediator: a coalgebraic perspective, Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Retracted: Semantic domains for combining probability and non-determinism
• A hierarchy of probabilistic system types
• Semantics of weakening and contraction
• Modular construction of complete coalgebraic logics
• An extension of the Galois theory of Grothendieck
• The Category-Theoretic Solution of Recursive Domain Equations
• Quantales, observational logic and process semantics
• Generic Trace Semantics via Coinduction
• The Microcosm Principle and Concurrency in Coalgebra
• Distributing probability over non-determinism
• Algebra and Coalgebra in Computer Science
• Generic Forward and Backward Simulations