Jayadev Misra - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Jayadev Misra' as author, editor, or advisor:

Theories of Programming: The Life and Works of Tony HoareCliff B. Jones, Jayadev Misra, editors, ACM / Morgan & Claypool, 2021. [doi]
Effective Theories in Programming PracticeJayadev Misra. Volume 47 of ACM Books, ACM, 2023. [doi]
Preface to Special Issue on Software VerificationC. A. R. Hoare, Jayadev Misra. In Cliff B. Jones, Jayadev Misra, editors, Theories of Programming: The Life and Works of Tony Hoare. pages 77-80, ACM / Morgan & Claypool, 2021. [doi]
A simple model of distributed programs based on implementation-hiding and process autonomyK. Mani Chandy, Jayadev Misra. SIGPLAN, 15(7-8):26-35, 1980. [doi]
Finding Effective AbstractionsCliff B. Jones, Jayadev Misra. In Cliff B. Jones, Jayadev Misra, editors, Theories of Programming: The Life and Works of Tony Hoare. pages 23-40, ACM / Morgan & Claypool, 2021. [doi]
An Homage to the Beautiful Mathematical EWDsJayadev Misra. In Krzysztof R. Apt, Tony Hoare, editors, Edsger Wybe Dijkstra: His Life, Work, and Legacy. pages 247-282, ACM / Morgan & Claypool, 2022. [doi]
Seuss: What the Doctor OrderedLorenzo Alvisi, Rajeev Joshi, Calvin Lin, Jayadev Misra. pdse 1997: 284-290 [doi]
Another view on "fairness"K. Mani Chandy, Jayadev Misra. sigsoft, 13(3):20, 1988. [doi]
CvJayadev Misra. In Cliff B. Jones, Jayadev Misra, editors, Theories of Programming: The Life and Works of Tony Hoare. pages 387-392, ACM / Morgan & Claypool, 2021. [doi]
A Paradigm for Detecting Quiescent Properties in Distributed ComputationsK. Mani Chandy, Jayadev Misra. nato 1985: 325-341 [doi]
Parallel discrete event simulation: The making of a fieldRichard M. Fujimoto, Rajive L. Bagrodia, Randal E. Bryant, K. Mani Chandy, David R. Jefferson, Jayadev Misra, David M. Nicol, Brian W. Unger. wsc 2017: 262-291 [doi]
The Verified Software Initiative: A ManifestoTony Hoare, Jayadev Misra, Gary T. Leavens, Natarajan Shankar. In Cliff B. Jones, Jayadev Misra, editors, Theories of Programming: The Life and Works of Tony Hoare. pages 81-92, ACM / Morgan & Claypool, 2021. [doi]
A nontrivial example of concurrent processing: Distributed simulationK. Mani Chandy, Jayadev Misra. compsac 1978: 822-826 [doi]
PrefaceCliff B. Jones, Jayadev Misra. In Cliff B. Jones, Jayadev Misra, editors, Theories of Programming: The Life and Works of Tony Hoare. ACM / Morgan & Claypool, 2021. [doi]
Quicksort: Combining Concurrency, Recursion, and Mutable Data StructuresDavid Kitchin, Adrian Quark, Jayadev Misra. In A. W. Roscoe, Clifford B. Jones, Kenneth R. Wood, editors, Reflections on the Work of C. A. R. Hoare. pages 229-254, Springer, 2010. [doi]

runs on WebDSL