Generic forward and backward simulations. II: Probabilistic simulation

DOI10.1007/978-3-642-15375-4_31MaRDI QIDQ3584948zbMATH OpenOpenAlexFDO

Authors Ichiro Hasuo

Publication date 31 August 2010

Published in CONCUR 2010 - Concurrency Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-15375-4_31

Mathematics Subject Classification ID

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)

Recommendations

• Generic Forward and Backward Simulations
• Bisimulation for probabilistic transition systems: a coalgebraic approach
• Bisimulation for probabilistic transition systems: A coalgebraic approach
• Simulations in coalgebra
• scientific article; zbMATH DE number 794262

Cited in

(11)

• Forward and backward simulations. I. Untimed Systems
• A calculus for generic, QoS-aware component composition
• Relational presheaves, change of base and weak simulation
• Coinductive predicates and final sequences in a fibration
• Identifying all preorders on the subdistribution monad
• Coalgebraic infinite traces and Kleisli simulations
• Coinductive predicates and final sequences in a fibration
• Fair simulation for nondeterministic and probabilistic Büchi automata: a coalgebraic perspective
• Generic Forward and Backward Simulations
• Quantitative simulations by matrices
• Generic weakest precondition semantics from monads enriched with order

This page was built for publication: Generic forward and backward simulations. II: Probabilistic simulation

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