| Parallel program design KM Chandy Opportunities and Constraints of Parallel Computing, 21-24, 1989 | 3565 | 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 | 1642 | 1979 |
| Distributed discrete-event simulation J Misra ACM Computing Surveys (CSUR) 18 (1), 39-65, 1986 | 1435 | 1986 |
| Asynchronous distributed simulation via a sequence of parallel computations KM Chandy, J Misra Communications of the ACM 24 (4), 198-206, 1981 | 1087 | 1981 |
| Proofs of networks of processes J Misra, KM Chandy IEEE transactions on software engineering, 417-426, 1981 | 723 | 1981 |
| Finding repeated elements J Misra, D Gries Science of computer programming 2 (2), 143-152, 1982 | 677 | 1982 |
| Distributed deadlock detection KM Chandy, J Misra, LM Haas ACM Transactions on Computer Systems (TOCS) 1 (2), 144-156, 1983 | 649 | 1983 |
| The drinking philosophers problem KM Chandy, J Misra ACM Transactions on Programming Languages and Systems (TOPLAS) 6 (4), 632-646, 1984 | 623 | 1984 |
| How processes learn KM Chandy, J Misra Proceedings of the fourth annual ACM symposium on Principles of Distributed …, 1985 | 419 | 1985 |
| Computation orchestration: A basis for wide-area computing J Misra, WR Cook Software & Systems Modeling 6 (1), 83-110, 2007 | 312 | 2007 |
| Distributed computation on graphs: Shortest path algorithms KM Chandy, J Misra Communications of the ACM 25 (11), 833-837, 1982 | 294 | 1982 |
| A constructive proof of Vizing's theorem J Misra, D Gries Information Processing Letters 41 (3), 131-133, 1992 | 250 | 1992 |
| Axioms for memory access in asynchronous hardware systems J Misra ACM Transactions on Programming Languages and Systems (TOPLAS) 8 (1), 142-153, 1986 | 227 | 1986 |
| Detecting termination of distributed computations using markers J Misra Proceedings of the second annual ACM symposium on Principles of distributed …, 1983 | 210 | 1983 |
| The Orc programming language D Kitchin, A Quark, W Cook, J Misra International Conference on Formal Methods for Open Object-Based Distributed …, 2009 | 190 | 2009 |
| 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 | 184 | 1982 |
| A discipline of multiprogramming J Misra, J Misra A Discipline of Multiprogramming: Programming Theory for Distributed …, 2001 | 157* | 2001 |
| Powerlist: A structure for parallel recursion J Misra ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (6), 1737-1767, 1994 | 157 | 1994 |
| A linear tree partitioning algorithm S Kundu, J Misra SIAM Journal on Computing 6 (1), 151-154, 1977 | 146 | 1977 |
| 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 | 142 | 1982 |
