Follow
Jayadev  Misra
Jayadev Misra
Verified email at utexas.edu
Title
Cited by
Cited by
Year
Parallel program design
KM Chandy
Opportunities and Constraints of Parallel Computing, 21-24, 1989
33751989
Distributed simulation: A case study in design and verification of distributed programs
KM Chandy, J Misra
IEEE Transactions on software engineering, 440-452, 1979
15471979
Distributed discrete-event simulation
J Misra
ACM Computing Surveys (CSUR) 18 (1), 39-65, 1986
13531986
Asynchronous distributed simulation via a sequence of parallel computations
KM Chandy, J Misra
Communications of the ACM 24 (4), 198-206, 1981
10251981
Proofs of networks of processes
J Misra, KM Chandy
IEEE transactions on software engineering, 417-426, 1981
6991981
The drinking philosophers problem
KM Chandy, J Misra
ACM Transactions on Programming Languages and Systems (TOPLAS) 6 (4), 632-646, 1984
6101984
Distributed deadlock detection
KM Chandy, J Misra, LM Haas
ACM Transactions on Computer Systems (TOCS) 1 (2), 144-156, 1983
6081983
Finding repeated elements
J Misra, D Gries
Science of computer programming 2 (2), 143-152, 1982
5751982
How processes learn
KM Chandy, J Misra
Proceedings of the fourth annual ACM symposium on Principles of Distributed …, 1985
4131985
Computation orchestration
J Misra, WR Cook
Software & Systems Modeling 6 (1), 83-110, 2007
3082007
Distributed computation on graphs: Shortest path algorithms
KM Chandy, J Misra
Communications of the ACM 25 (11), 833-837, 1982
2821982
Axioms for memory access in asynchronous hardware systems
J Misra
ACM Transactions on Programming Languages and Systems (TOPLAS) 8 (1), 142-153, 1986
2201986
Detecting termination of distributed computations using markers
J Misra
Proceedings of the second annual ACM symposium on Principles of distributed …, 1983
1931983
A constructive proof of Vizing’s theorem
J Misra, D Gries
Information Processing Letters, 1992
1921992
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
1851982
The Orc programming language
D Kitchin, A Quark, W Cook, J Misra
Formal Techniques for Distributed Systems, 1-25, 2009
1822009
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
1501994
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
1391982
A linear tree partitioning algorithm
S Kundu, J Misra
SIAM Journal on Computing 6 (1), 151-154, 1977
1341977
The system can't perform the operation now. Try again later.
Articles 1–20