Publications
Journal papers
Bisimulation and Cocongruence for Probabilistic Systems, Vincent Danos, Josée Desharnais, Francois
Laviolette and Prakash Panangaden, accepted for publication in Information and Computation, Special
issue for selected papers from CMCS04, 22 pages, 2005.
Labelled Markov Processes: Stronger and Faster Approximations, Vincent Danos, Josée Desharnais
and Prakash Panangaden, in Josée Desharnais, Prakash Panangaden editors, Proceedings of the Workshop
on Domain Theoretic Methods for Probabilistic Processes, Electronic Notes in Theoretical Computer Science,
87, pp.157-203, November 2004.
A Metric for Labelled Markov Processes, Josée Desharnais, Vineet Gupta,
Radha Jagadeesan, Prakash
Panangaden, Theoretical Computer Science, 318(3), pp. 323-354, June 2004.
Continuous
Stochastic Logic Characterizes Bisimulation of Continuous-time Markov
Processes, Josée Desharnais,
Prakash Panangaden, to appear in: JLAP special issue on Probabilistic
Techniques for the Design and Analysis of Systems, 56 (1-2) (2003) 99-115.
Approximating Labeled Markov Processes, Josée Desharnais, Vineet Gupta, Radhakrishnan Jagadeesan
and Prakash Panangaden, Information and Computation, 184(1), pp. 160-200, July 2003.
Bisimulation
for Labeled Markov Processes, Josée Desharnais, Abbas Edalat and
Prakash Panangaden, Information and Computation, 179(2), pp. 163-193, Dec 2002.
Conference papers
Conditional Expectation and the Approximation of Labelled Markov Processes, Vincent Danos, Josée
Desharnais, Prakash Panangaden CONCUR 2003: 468-482.
Labelled Markov Processes: Stronger and Faster Approximations, Vincent Danos, Josée Desharnais,
Proceedings of the 18$^{th}$ Symposium on Logic in Computer Science (LICS 2003), Ottawa, Canada, June 2003, 341-350.
A Fixpoint Logic for Labelled Markov Processes, Vincent Danos, Josée Desharnais, International Workshop on Fixed Points in Computer Science (FICS'03), ETAPS
satellite workshop, Warsaw, 3 pages.
Weak
Bisimulation is Sound and Complete for PCTL*, Josée Desharnais, Vineet Gupta, Radha Jagadeesan,
Prakash Panangaden, Proceedings of 12th
International Conference on Concurrency Theory, Brno, Slovakia,
August 2002, pp..
The Metric
Analogue of Weak Bisimulation for Probabilistic Processes, Josée Desharnais, Vineet Gupta, Radha
Jagadeesan, Prakash Panangaden, Proceedings of the Seventeenth Annual IEEE
Symposium on Logic In Computer Science,
Copenhagen,
Denmark, July 2002, pp. 413-422.
Approximating Continuous Markov Processes, Josée Desharnais, Vineet Gupta,
Radhakrishnan Jagadeesan and Prakash Panangaden, Proceedings of the
Fifteenth Annual
IEEE Symposium on Logic In Computer Science, Santa Barbara, California,
USA, June 2000, pp. 95-106.
Metrics
for Labelled Markov Processes,
Josée Desharnais, Vineet Gupta,
Radhakrishnan Jagadeesan and Prakash Panangaden, Proceedings of 10th
International
Conference on Concurrency Theory (CONCUR99), Eindhoven, The Netherlands, August 1999, Lecture
Notes In Computer Science 1664, eds. Jos C. M. Baeten and S. Mauw, pp.
258-273.
A Logical Characterization of Simulation for Labelled Markov Chains, Josée
Desharnais,
Proceedings of the 2nd International Workshop on Probabilistic Methods in Verification (Probmiv99),
Eindhoven, pp. 33-48, University of Birmingham, Technical Report CS-99-8, 1999.
A Logical Characterization of Bisimulation for Labelled Markov Processes, Josée
Desharnais, Abbas Edalat and Prakash Panangaden, Proceedings of the Thirteen Annual
IEEE Symposium On Logic In Computer Science, Indianapolis, USA, 1998, pp. 478-489.
Bisimulation for Labelled Markov Processes, Richard Blute, Josée Desharnais, Abbas
Edalat and Prakash Panangaden, Proceedings of the Twelfth IEEE Symposium On Logic In
Computer Science, Warsaw,
Poland, 1997.
A reader interested in the approximation construction should read the Journal paper on approximations above instead of the thesis.