Jayadev Misra

Jayadev Misra

University of Texas Austin - Austin / United States
Others
AD Scientific Index ID: 1640854
University of Texas at Austin
person_outline Jayadev Misra's MOST POPULAR ARTICLES
1-) Parallel program designKM ChandyOpportunities and Constraints of Parallel Computing, 21-24, 198933831989
2-) Distributed simulation: A case study in design and verification of distributed programsKM Chandy, J MisraIEEE Transactions on software engineering, 440-452, 197915661979
3-) Distributed discrete-event simulationJ MisraACM Computing Surveys (CSUR) 18 (1), 39-65, 198613631986
4-) Asynchronous distributed simulation via a sequence of parallel computationsKM Chandy, J MisraCommunications of the ACM 24 (4), 198-206, 198110841981
5-) Proofs of networks of processesJ Misra, KM ChandyIEEE transactions on software engineering, 417-426, 19817231981