Probabilistic Relations (1998)

Cached

Download Links

by Prakash Panangaden
Venue:School of Computer Science, McGill University, Montreal
Citations:6 - 0 self

Documents Related by Co-Citation

41 A categorical approach to probability theory – M Giry - 1981
28 Nuclear and Trace Ideals in Tensored *-Categories – Samson Abramsky, Richard Blute, Prakash Panangaden - 1998
139 Bisimulation for Labelled Markov Processes – Jos Ee Desharnais, Josee Desharnais, Richard Blute, Richard Blute, Abbas Edalat, Abbas Edalat, Prakash Panagaden, Prakash Panangaden - 1997
253 Probity Measures on Metric Spaces – K R Parthasarathy - 1967
43 Categories for the Working Mathematician. Number 5 – S Mac Lane - 1971
136 Semantics of probabilistic programs – D Kozen - 1981
4 The converse of a probabilistic relation – E-E Doberkat - 2003
405 Bisimulation through probabilistic testing – Kim G. Larsen, Arne Skou - 1989
31 A Course on Borel Sets – S M Srivastava - 1998
15 Measurable relations – C J Himmelberg - 1975
5 Semi-pullbacks and bisimulations in categories of stochastic relations – E-E Doberkat - 2003
730 Notions of Computation and Monads – Eugenio Moggi - 1991
7069 Probabilistic Reasoning in Intelligent Systems – J Pearl - 1988
137 Probabilistic Non-determinism – C Jones - 1990
3 The Demonic Product of Probabilistic Relations – Ernst-erich Doberkat - 2001
1 Stochastic Automata | Nondeterminism, Stability, and Prediction – E-E Doberkat - 1981
1 The hierarchical re of probabilistic relations – E-E Doberkat - 2001
28 A Calculus of Communicating Systems. Number 92 – R Milner - 1980
75 Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach – E.P. de Vink, J.J.M.M. Rutten - 1998