Parallel program design KM Chandy Opportunities and Constraints of Parallel Computing, 21-24, 1989 | 3375 | 1989 |

Distributed simulation: A case study in design and verification of distributed programs KM Chandy, J Misra IEEE Transactions on software engineering, 440-452, 1979 | 1547 | 1979 |

Distributed discrete-event simulation J Misra ACM Computing Surveys (CSUR) 18 (1), 39-65, 1986 | 1353 | 1986 |

Asynchronous distributed simulation via a sequence of parallel computations KM Chandy, J Misra Communications of the ACM 24 (4), 198-206, 1981 | 1025 | 1981 |

Proofs of networks of processes J Misra, KM Chandy IEEE transactions on software engineering, 417-426, 1981 | 699 | 1981 |

The drinking philosophers problem KM Chandy, J Misra ACM Transactions on Programming Languages and Systems (TOPLAS) 6 (4), 632-646, 1984 | 610 | 1984 |

Distributed deadlock detection KM Chandy, J Misra, LM Haas ACM Transactions on Computer Systems (TOCS) 1 (2), 144-156, 1983 | 608 | 1983 |

Finding repeated elements J Misra, D Gries Science of computer programming 2 (2), 143-152, 1982 | 575 | 1982 |

How processes learn KM Chandy, J Misra Proceedings of the fourth annual ACM symposium on Principles of Distributed …, 1985 | 413 | 1985 |

Computation orchestration J Misra, WR Cook Software & Systems Modeling 6 (1), 83-110, 2007 | 308 | 2007 |

Distributed computation on graphs: Shortest path algorithms KM Chandy, J Misra Communications of the ACM 25 (11), 833-837, 1982 | 282 | 1982 |

Axioms for memory access in asynchronous hardware systems J Misra ACM Transactions on Programming Languages and Systems (TOPLAS) 8 (1), 142-153, 1986 | 220 | 1986 |

Detecting termination of distributed computations using markers J Misra Proceedings of the second annual ACM symposium on Principles of distributed …, 1983 | 193 | 1983 |

A constructive proof of Vizing’s theorem J Misra, D Gries Information Processing Letters, 1992 | 192 | 1992 |

A distributed algorithm for detecting resource deadlocks in distributed systems KM Chandy, J Misra Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of …, 1982 | 185 | 1982 |

The Orc programming language D Kitchin, A Quark, W Cook, J Misra Formal Techniques for Distributed Systems, 1-25, 2009 | 182 | 2009 |

A discipline of multiprogramming J Misra A Discipline of Multiprogramming, 1-12, 2001 | 159* | 2001 |

Powerlist: A structure for parallel recursion J Misra ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (6), 1737-1767, 1994 | 150 | 1994 |

Termination detection of diffusing computations in communicating sequential processes J Misra, KM Chandy ACM Transactions on Programming Languages and Systems (TOPLAS) 4 (1), 37-43, 1982 | 139 | 1982 |

A linear tree partitioning algorithm S Kundu, J Misra SIAM Journal on Computing 6 (1), 151-154, 1977 | 134 | 1977 |