Jayadev Misra
发表
Xiaozhou Li,
Jayadev Misra,
C. Greg Plaxton,
2006,
Distributed Computing.
Jayadev Misra,
1989
.
Jayadev Misra,
J. Misra,
2012,
Formal Aspects of Computing.
Jayadev Misra,
David Gries,
J. Misra,
1978,
CACM.
K. Mani Chandy,
Jayadev Misra,
K. M. Chandy,
1988
.
Jayadev Misra,
J. Misra,
2017,
ArXiv.
Jayadev Misra,
1979,
Inf. Process. Lett..
Jayadev Misra,
J. Misra,
2015,
Logic, Rewriting, and Concurrency.
Jayadev Misra,
1984,
Seminar on Concurrency.
Xiaozhou Li,
Jayadev Misra,
C. Greg Plaxton,
2010,
J. Parallel Distributed Comput..
Jayadev Misra,
J. Misra,
1986,
CSUR.
Jayadev Misra,
William R. Cook,
Ian Wehrman,
2008,
Theor. Comput. Sci..
Jayadev Misra,
Markus Kaltenbach,
J. Misra,
2002,
10th Anniversary Colloquium of UNU/IIST.
K. Mani Chandy,
Jayadev Misra,
Doug Neuse,
1982,
AFIPS '82.
David M. Nicol,
K. Mani Chandy,
Jayadev Misra,
2017,
2017 Winter Simulation Conference (WSC).
Jayadev Misra,
2000,
FMOODS.
K. Mani Chandy,
Jayadev Misra,
K. M. Chandy,
1984,
ACM Trans. Program. Lang. Syst..
Jayadev Misra,
2000
.
Jayadev Misra,
Harrick M. Vin,
2001,
APSEC.
Robert E. Tarjan,
Jayadev Misra,
R. Tarjan,
1975,
Inf. Process. Lett..
K. Mani Chandy,
Jayadev Misra,
K. M. Chandy,
1981,
CACM.
K. Mani Chandy,
Jayadev Misra,
Todd Smith,
1982,
PODC '82.
Nicola Santoro,
Jayadev Misra,
Tiko Kameda,
1984,
PODC.
Jayadev Misra,
J. Misra,
2012
.
K. Mani Chandy,
Jayadev Misra,
K. M. Chandy,
1985,
ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing.
C. A. R. Hoare,
Natarajan Shankar,
Jayadev Misra,
2009,
CSUR.
Jayadev Misra,
2011,
ICTAC.
Jayadev Misra,
1981,
TOPL.
K. Mani Chandy,
Jayadev Misra,
K. M. Chandy,
1986,
TOPL.
Tobias Nipkow,
Jayadev Misra,
Emil Sekerinski,
2006,
FM 2006.
K. Mani Chandy,
Jayadev Misra,
K. M. Chandy,
1982,
TOPL.
Jayadev Misra,
Rajeev Joshi,
J. Misra,
2000,
PODC '00.
Jayadev Misra,
J. Misra,
1994,
TOPL.
K. Mani Chandy,
Jayadev Misra,
K. M. Chandy,
1982,
TOPL.
Jayadev Misra,
1975,
TOMS.
Jayadev Misra,
Evan Powell,
David Kitchin,
2008,
AMAST.
Jayadev Misra,
J. Misra,
1990
.
Jayadev Misra,
1978,
IEEE Transactions on Software Engineering.
Jayadev Misra,
J. Misra,
1983,
PODC '83.
Jayadev Misra,
J. Misra,
1998
.
Jayadev Misra,
K. M. Chandy,
1978
.
Laura M. Haas,
K. Mani Chandy,
Jayadev Misra,
1983,
TOCS.
Jayadev Misra,
J. Misra,
1998,
IPPS/SPDP Workshops.
Jayadev Misra,
Sanat K. Basu,
S. K. Basu,
1975,
IEEE Transactions on Software Engineering.
Jayadev Misra,
J. Misra,
1990,
Formal Aspects of Computing.
Xiaozhou Li,
Jayadev Misra,
C. Greg Plaxton,
2004,
PODC '04.
K. Mani Chandy,
Jayadev Misra,
Victor Holmes,
1979,
Comput. Networks.
Laura M. Haas,
Jayadev Misra,
K. M. Chandy,
1982
.
Jayadev Misra,
William R. Cook,
David Kitchin,
2009,
FMOODS/FORTE.
Jayadev Misra,
William R. Cook,
J. Misra,
2007,
Software & Systems Modeling.
Jayadev Misra,
1992,
Inf. Process. Lett..
Jayadev Misra,
1990
.
Jayadev Misra,
J. Misra,
1977,
SIAM J. Comput..
Jayadev Misra,
2002,
ICSR.
W. H. J. Feijen,
Jayadev Misra,
David Gries,
1990,
Texts and Monographs in Computer Science.
Jayadev Misra,
William R. Cook,
J. Misra,
2008,
Software-Intensive Systems and New Computing Paradigms.
Jayadev Misra,
William R. Cook,
J. Misra,
2005
.
C. A. R. Hoare,
Jayadev Misra,
David Gries,
2002,
CACM.
K. Mani Chandy,
Jayadev Misra,
K. M. Chandy,
1978,
COMPSAC.
Jayadev Misra,
2001,
FME.
Jayadev Misra,
William R. Cook,
David Kitchin,
2006,
CONCUR.
Jayadev Misra,
Harrick M. Vin,
Siddhartha Rai,
2001,
Proceedings Eighth Asia-Pacific Software Engineering Conference.
Jayadev Misra,
William R. Cook,
Sourabh Patwardhan,
2006,
COORDINATION.
Jayadev Misra,
Lorenzo Alvisi,
Calvin Lin,
1997,
Proceedings of PDSE '97: 2nd International Workshop on Software Engineering for Parallel and Distributed Systems.
Jayadev Misra,
K. M. Chandy,
K. M. Chandy,
1980
.
Xiaozhou Li,
Jayadev Misra,
C. Greg Plaxton,
2004,
DISC.
Jayadev Misra,
J. Misra,
1996,
CSUR.
Jayadev Misra,
David Gries,
J. Misra,
1992,
Inf. Process. Lett..
Jayadev Misra,
David Gries,
J. Misra,
1982,
Sci. Comput. Program..
Jayadev Misra,
Sanat K. Basu,
S. K. Basu,
1976,
ICSE '76.
K. Mani Chandy,
Jayadev Misra,
K. M. Chandy,
1979,
IEEE Transactions on Software Engineering.
K. Mani Chandy,
Jayadev Misra,
K. M. Chandy,
1981,
Int. CMG Conference.
K. Mani Chandy,
Jayadev Misra,
K. M. Chandy,
1981,
IEEE Transactions on Software Engineering.
C. A. R. Hoare,
Jayadev Misra,
C. Hoare,
2005,
VSTTE.
Jayadev Misra,
Rajeev Joshi,
1999
.
Jayadev Misra,
K. M. Chandy,
J. Misra,
1979
.
Jayadev Misra,
1991,
PARLE.
Jayadev Misra,
J. Misra,
1990
.
Jayadev Misra,
1996,
CSUR.
C. A. R. Hoare,
Jayadev Misra,
2009,
CSUR.
K. Mani Chandy,
Jayadev Misra,
Rajive L. Bagrodia,
1987,
IEEE Transactions on Software Engineering.
Jayadev Misra,
Edsger W. Dijkstra,
E. Dijkstra,
2001,
Am. Math. Mon..
Jayadev Misra,
2015,
Inf. Process. Lett..
Jayadev Misra,
J. Misra,
1996,
CSUR.
Jayadev Misra,
1989,
MPC.
Jayadev Misra,
K. M. Chandy,
J. Misra,
1979
.
Jayadev Misra,
J. Allen Carruth,
J. Misra,
1996,
Parallel Process. Lett..
Jayadev Misra,
J. Misra,
1978,
IEEE Transactions on Software Engineering.
Jayadev Misra,
Rajeev Joshi,
2000,
Formal Aspects of Computing.
Jayadev Misra,
2003,
Inf. Process. Lett..
Jayadev Misra,
E. Allen Emerson,
Markus Kaltenbach,
1996
.
Sukhamay Kundu,
Jayadev Misra,
J. Misra,
1977,
SIAM J. Comput..
Jayadev Misra,
Evan Powell,
David Kitchin,
2008,
FM.
Jayadev Misra,
William R. Cook,
J. Misra,
2008
.
Jayadev Misra,
2001
.
Jayadev Misra,
1989,
Inf. Process. Lett..
Jayadev Misra,
1986,
TOPL.
Jayadev Misra,
1992,
Future Gener. Comput. Syst..
Jayadev Misra,
J. Misra,
1991,
Inf. Process. Lett..
Jayadev Misra,
1978,
IEEE Transactions on Software Engineering.
Jayadev Misra,
T. Agerwala,
J. Misra,
1978
.
Jayadev Misra,
Rajeev Joshi,
2000,
PODC 2000.
Jayadev Misra,
Harrick M. Vin,
Siddhartha Rai,
2003,
JMLC.
K. Mani Chandy,
Jayadev Misra,
K. M. Chandy,
1985,
PODC '85.
Jayadev Misra,
1987
.
Jayadev Misra,
2001
.
Jayadev Misra,
2014,
PLDI.
Jayadev Misra,
1990,
Sci. Comput. Program..
Jayadev Misra,
2001,
Inf. Process. Lett..
K. Mani Chandy,
Jayadev Misra,
K. M. Chandy,
1979,
Inf. Process. Lett..
K. Mani Chandy,
Jayadev Misra,
2005,
Distributed Computing.
Tobias Nipkow,
Jayadev Misra,
Emil Sekerinski,
2006
.
Jayadev Misra,
K. M. Chandy,
J. Misra,
1989,
Logics and Models of Concurrent Systems.
Jayadev Misra,
J. Misra,
2002,
Formal Methods Syst. Des..
Jayadev Misra,
J. Misra,
2003
.
K. Mani Chandy,
Jayadev Misra,
K. M. Chandy,
1982,
PODC '82.
K. Mani Chandy,
Jayadev Misra,
K. M. Chandy,
1982,
CACM.
Jayadev Misra,
J. Misra,
2004,
Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..
Jayadev Misra,
J. Misra,
1990,
Formal Aspects of Computing.
Jayadev Misra,
J. Misra,
1990
.
K. Mani Chandy,
Jayadev Misra,
K. M. Chandy,
1987,
FSTTCS.
Tobias Nipkow,
Jayadev Misra,
Emil Sekerinski,
2006,
FM.
Jayadev Misra,
2001
.
Jayadev Misra,
J. Misra,
2001
.
Jayadev Misra,
J. Misra,
1991,
Research Directions in High-Level Parallel Programming Languages.
Jayadev Misra,
David Kitchin,
Adrian Quark,
2010,
Reflections on the Work of C. A. R. Hoare.
Jayadev Misra,
1976,
DAC '76.
Natarajan Shankar,
Jayadev Misra,
Gary T. Leavens,
2021,
Theories of Programming.
Jayadev Misra,
Cliff Jones,
2021,
Theories of Programming.
C. A. R. Hoare,
Jayadev Misra,
2021,
Theories of Programming.
Jayadev Misra,
2021,
Theories of Programming.
Jayadev Misra,
Cliff Jones,
J. Misra,
2021,
Theories of Programming.
Jayadev Misra,
Mohamed G. Gouda,
Ambuj K. Singh,
1989
.
Jayadev Misra,
Jacob Kornerup,
J. Misra,
1997
.
Jayadev Misra,
J. Misra,
2006
.
K. Mani Chandy,
Jayadev Misra,
J. Misra,
1991
.
Jayadev Misra,
Rajeev Joshi,
1999
.