Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems

DOI10.1016/j.entcs.2011.09.027zbMath1342.68243OpenAlexW2163723056WikidataQ113318218 ScholiaQ113318218MaRDI QIDQ5739363

Alexandra Silva, Ana Sokolova

Publication date: 15 July 2016

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.2011.09.027

zbMATH Keywords

coalgebraaxiomatizationprobabilistic transition systemstrace semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (8)

Complete axiomatization for the total variation distance of Markov chains ⋮ Unnamed Item ⋮ Towards general axiomatizations for bisimilarity and trace semantics ⋮ Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems ⋮ Long-term values in Markov decision processes, (co)algebraically ⋮ (in)finite trace equivalence of probabilistic transition systems ⋮ Congruences of convex algebras. ⋮ Trace semantics via determinization

Cites Work

• Quantitative Kleene coalgebras
• Eilenberg--Moore algebras for stochastic relations
• Erratum and addendum: ``Eilenberg-Moore algebras for stochastic relations
• A complete inference system for a class of regular behaviours
• Reactive, generative, and stratified models of probabilistic processes
• Sound and Complete Axiomatizations of Coalgebraic Language Equivalence
• Adjoint Lifting Theorems for Categories of Algebras
• Generic Trace Semantics via Coinduction
• Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems
• A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages
• A complete axiomatisation for trace congruence of finite state behaviors
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems