Panangaden, Prakash - School of Computer Science, McGill University

• Epistemic Strategies and Games on Concurrent Konstantinos Chatzikokolakis1
• A "Book" proof that parallel convergence tester cannot implement parallel or
• Divergence-Least Semantics Of amb Is Hoare Soren B. Lassen1
• Learning in a changing world via algebraic modal logic Prakash Panangaden
• Domain theory and general relativity Keye Martin and Prakash Panangaden
• A categorical presentation of quantum computation with anyons
• Bounding Performance Loss in Approximate MDP Homomorphisms
• Digital Object Identifier (DOI) 10.1007/s00220-006-0066-5 Commun. Math. Phys. (2006)
• Under consideration for publication in Math. Struct. in Comp. Science Quantum Weakest Preconditions
• Leader Election and Distributed Consensus with Quantum Resources
• Metrics for Labelled Markov Processes Josee Desharnais
• Electronic Notes in Theoretical Computer Science 87 (2004) URL: http://www.elsevier.nl/locate/entcs/volume87.html 41 pages
• Continuous Stochastic Logic Characterizes Bisimulation of Continuous-time Markov Processes
• The Metric Analogue of Weak Bisimulation for Probabilistic Josee Desharnais
• Metrics for Markov Decision Processes with Infinite State Spaces School of Computer Science
• An approximation algorithm for labelled Markov processes: towards realistic approximation
• Representing systems with hidden state Christopher Hundt
• McCarthy's amb has no least fixpoint semantics Soren Lassen
• Anonymity Protocols as Noisy Channels Konstantinos Chatzikokolakis a
• Approximate reasoning for real-time probabilistic processes Vineet Gupta
• Bisimulation for Labelled Markov Processes Jos'ee Desharnais \Lambda
• Approximate reasoning for real-time probabilistic processes Vineet Gupta
• Discrete Quantum Causal Dynamics Richard F. Blute
• Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be
• On the Bayes Risk in Information-Hiding Konstantinos Chatzikokolakis Catuscia Palamidessi
• Approximating Markov Processes By Averaging Philippe Chaput
• Weak Bisimulation is Sound and Complete for Josee Desharnais
• Approximating Labelled Markov Processes Josee Desharnais #
• The Duality of State and Observations Chris Hundt
• Learning in a changing world, an algebraic approach Prakash Panangaden
• The Measurement Calculus Vincent Danos
• Bisimulation and Cocongruence for Probabilistic Systems Vincent Danos
• A technique for verifying measurements Keye Martin and Prakash Panangaden 1,2
• Notions of State Equivalence under Partial Observability Pablo Samuel Castro, Prakash Panangaden and Doina Precup
• Weak Bisimulation is Sound and Complete for PCTL* Josee Desharnais1
• BISIMULATION METRICS FOR CONTINUOUS MARKOV DECISION NORM FERNS, PRAKASH PANANGADEN, AND DOINA PRECUP
• Epistemic Strategies and Games on Concurrent KONSTANTINOS CHATZIKOKOLAKIS1
• Quantum Communication in Rindler Spacetime Kamil Bradler1
• Proceedings of Symposia in Applied Mathematics Spacetime geometry from causal structure and a
• Combining Epistemic Logic and Hennessy-Milner Logic