Parallel program design KM Chandy Opportunities and Constraints of Parallel Computing, 21-24, 1989 | 3559 | 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 | 1630 | 1979 |
Distributed discrete-event simulation J Misra ACM Computing Surveys (CSUR) 18 (1), 39-65, 1986 | 1423 | 1986 |
Asynchronous distributed simulation via a sequence of parallel computations KM Chandy, J Misra Communications of the ACM 24 (4), 198-206, 1981 | 1078 | 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 | 667 | 1982 |
Distributed deadlock detection KM Chandy, J Misra, LM Haas ACM Transactions on Computer Systems (TOCS) 1 (2), 144-156, 1983 | 645 | 1983 |
The drinking philosophers problem KM Chandy, J Misra ACM Transactions on Programming Languages and Systems (TOPLAS) 6 (4), 632-646, 1984 | 622 | 1984 |
How processes learn KM Chandy, J Misra Proceedings of the fourth annual ACM symposium on Principles of Distributed …, 1985 | 417 | 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 | 292 | 1982 |
A constructive proof of Vizing's theorem J Misra, D Gries Information Processing Letters 41 (3), 131-133, 1992 | 237 | 1992 |
Axioms for memory access in asynchronous hardware systems J Misra ACM Transactions on Programming Languages and Systems (TOPLAS) 8 (1), 142-153, 1986 | 225 | 1986 |
Detecting termination of distributed computations using markers J Misra Proceedings of the second annual ACM symposium on Principles of distributed …, 1983 | 211 | 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 | 183 | 1982 |
A discipline of multiprogramming J Misra, J Misra A Discipline of Multiprogramming: Programming Theory for Distributed …, 2001 | 156* | 2001 |
Powerlist: A structure for parallel recursion J Misra ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (6), 1737-1767, 1994 | 156 | 1994 |
A linear tree partitioning algorithm S Kundu, J Misra SIAM Journal on Computing 6 (1), 151-154, 1977 | 143 | 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 | 141 | 1982 |