Probabilistic Relations (1998)

Cached

Download Links

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

Active Bibliography

28 Nuclear and Trace Ideals in Tensored *-Categories – Samson Abramsky, Richard Blute, Prakash Panangaden - 1998
44 Geometry of Interaction and Linear Combinatory Algebras – Samson Abramsky, Esfandiar Haghverdi, Philip Scott - 2000
3 The Demonic Product of Probabilistic Relations – Ernst-erich Doberkat - 2001
Causal Theories: A Categorical Perspective on Bayesian Networks – Brendan Fong
12 Stochastic transition systems for continuous state spaces and non-determinism – Stefano Cattani, Roberto Segala, Marta Kwiatkowska, Gethin Norman - 2005
Pipes and Filters: Modelling a Software Architecture Through Relations – Ernst-Erich Doberkat - 2002
1 Higher-Order and Reflexive Action Calculi: Their Type Theory and Models – Philippa Gardner, Masahito Hasegawa, Masahito Hasegawa - 1998
2 Proofs as Polynomials – Esfandiar Haghverdi, Philip J. Scott
1 Conformal field theory as a nuclear functor – Richard Blute, Prakash Panangaden, Dorette Pronk
4 Towards a typed geometry of interaction – Esfandiar Haghverdi, Philip J. Scott - 2005
ON THE FUNCTOR ℓ 2 – Chris Heunen
10 Quantum information-flow, concretely, abstractly – Bob Coecke - 2004
8 categorical quantum mechanics – Samson Abramsky, Chris Heunen - 2010
10 Duality for Labelled Markov Processes – Michael Mislove , Joël Ouaknine, Dusko Pavlovic, James Worrell
Testing for Simulation and Bisimulation in Labelled Markov Processes – Franck van Breugel, Michael Mislove, Joël Ouaknine, James Worrell - 2003
4 Possibilistic and Probabilistic Abstraction-Based Model Checking – Michael Huth - 2002
Approximating Markov Processes By Averaging – Philippe Chaput, Gordon Plotkin
3 Exemplaric Expressivity of Modal Logics – Bart Jacobs, Ana Sokolova - 2008
5 Semi-pullbacks and Bisimulation in Categories of Markov Processes – Abbas Edalat - 1999