Can I read Axiomatizations of Probabilistic Behaviors on EtoBox?
Axiomatizations of Probabilistic Behaviors by fire_p2 is a document available to read on EtoBox.
What is Axiomatizations of Probabilistic Behaviors about?
This document presents an axiomatization for probabilistic finite-state behaviors. It discusses probabilistic automata models, axiomatic systems, and behavioral equivalences such as strong bisimulation and weak probabilistic bisimulation. The goal is to develop a theory to reason about probabilistic algorithms used in distributed computing.
- Author
- fire_p2
- Language
- EN