Searching for "Probabilistic Communicating Processes." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
A Sound and Complete Proof System for Probabilistic Processes
- …A Sound and Complete Proof System for Probabilistic Processes F. Cuartero Gomez D. de Frutos Escrig…
- Add To MetaCart
-
Metric semantics for reactive probabilistic processes
- …���METRIC SEMANTICS FOR REACTIVE PROBABILISTIC PROCESSES by GETHIN JOSIAH NORMAN A thesis submitted…
- Cited by 6 (1 self) – Add To MetaCart
-
Composition and Behaviors of Probabilistic I/O Automata
- … communicating processes [Sei92] contains both an external (non-deterministic) and internal (probabilistic…
- Cited by 44 (2 self) – Add To MetaCart
-
A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Mixed Stochastic/Non-stochastic Systems
- …, probabilistic communicating process algebras and related logics have been studied in theoretical computer…
- Cited by 7 (0 self) – Add To MetaCart
Showing 1 through 4.
