Implementing mathematics RL Constable, SF Allen, HM Bromley, WR Cleaveland, JF Cremer, ... Prentice-Hall, 1986 | 2043 | 1986 |

Semantic Foundations of Concurrent Constraint Programming. VA Saraswat, M Rinard, P Panangaden POPL 91 (18), 333-352, 1991 | 571 | 1991 |

Bisimulation for labelled Markov processes J Desharnais, A Edalat, P Panangaden Information and Computation 179 (2), 163-193, 2002 | 289 | 2002 |

Metrics for labelled Markov processes J Desharnais, V Gupta, R Jagadeesan, P Panangaden Theoretical computer science 318 (3), 323-354, 2004 | 277 | 2004 |

Mathematical techniques for analyzing concurrent and probabilistic systems JJMM Rutten, M Kwiatkowska, G Norman, D Parker American Mathematical Soc., 2004 | 235 | 2004 |

Anonymity protocols as noisy channels K Chatzikokolakis, C Palamidessi, P Panangaden Information and Computation 206 (2-4), 378-401, 2008 | 225 | 2008 |

The measurement calculus V Danos, E Kashefi, P Panangaden Journal of the ACM (JACM) 54 (2), 8, 2007 | 186 | 2007 |

The metric analogue of weak bisimulation for probabilistic processes J Desharnais, R Jagadeesan, V Gupta, P Panangaden Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, 413-422, 2002 | 171 | 2002 |

A logic for reasoning about security J Glasgow, G MacEwen, P Panangaden [1990] Proceedings. The Computer Security Foundations Workshop III, 2-13, 1990 | 169 | 1990 |

Labelled Markov Processes P Panangaden World Scientific, 2009 | 168 | 2009 |

Metrics for labeled Markov systems J Desharnais, V Gupta, R Jagadeesan, P Panangaden International Conference on Concurrency Theory, 258-273, 1999 | 168 | 1999 |

Scaling behavior of interacting quantum fields in curved spacetime BL Nelson, P Panangaden Physical Review D 25 (4), 1019, 1982 | 140 | 1982 |

A design study of the EARTH multiprocessor. HHJ Hum, O Maquelin, KB Theobald, X Tian, X Tang, GR Gao, P Cupryk, ... PACT 95, 59-68, 1995 | 134 | 1995 |

Metrics for finite Markov decision processes N Ferns, P Panangaden, D Precup Proceedings of the 20th conference on Uncertainty in artificial intelligence …, 2004 | 131 | 2004 |

Approximating labelled Markov processes J Desharnais, V Gupta, R Jagadeesan, P Panangaden Information and Computation 184 (1), 160-200, 2003 | 121 | 2003 |

Bisimulation for labelled Markov processes R Blute, J Desharnais, A Edalat, P Panangaden Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science …, 1997 | 111 | 1997 |

Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes J Desharnais, P Panangaden The Journal of Logic and Algebraic Programming 56 (1-2), 99-115, 2003 | 101 | 2003 |

Nuclear and trace ideals in tensored∗-categories S Abramsky, R Blute, P Panangaden Journal of Pure and Applied Algebra 143 (1-3), 3-47, 1999 | 99 | 1999 |

Reengineering user interfaces E Merlo, PY Gagné, JF Girard, K Kontogiannis, L Hendren, ... IEEE Software 12 (1), 64-73, 1995 | 99 | 1995 |

A logical characterization of bisimulation for labeled Markov processes J Desharnais, A Edalat, P Panangaden Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science …, 1998 | 98 | 1998 |