publications:
- title: "Simulation, Orchestration and Logical Clocks"
  author:
  - name: "David Kitchin"
    link: "https://researchr.org/alias/david-kitchin"
  - name: "Evan Powell"
    link: "https://researchr.org/alias/evan-powell"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-68237-0_4"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-68237-0_4"
  researchr: "https://researchr.org/publication/KitchinPM08%3A0"
  cites: 0
  citedby: 0
  pages: "34"
  booktitle: "FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings"
  editor:
  - name: "Jorge Cuéllar"
    link: "https://researchr.org/alias/jorge-cu%C3%A9llar"
  - name: "T. S. E. Maibaum"
    link: "https://researchr.org/alias/t.-s.-e.-maibaum"
  - name: "Kaisa Sere"
    link: "https://researchr.org/alias/kaisa-sere"
  volume: "5014"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-68235-6"
  kind: "inproceedings"
  key: "KitchinPM08:0"
- title: "Object-Oriented Programming for Wide-Area Computing"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "2000"
  tags:
  - "object-oriented programming"
  - "meta programming"
  - "programming"
  - "subject-oriented programming"
  - "Meta-Environment"
  - "feature-oriented programming"
  - "meta-objects"
  researchr: "https://researchr.org/publication/Misra00"
  cites: 0
  citedby: 0
  pages: "209"
  booktitle: "Formal Methods for Open Object-Based Distributed Systems IV, IFIF TC6/WG6.1 Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), September 6-8, 2000, Stanford, California, USA"
  editor:
  - name: "Scott F. Smith"
    link: "https://researchr.org/alias/scott-f.-smith"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  volume: "177"
  series: "IFIP Conference Proceedings"
  publisher: "Kluwer"
  isbn: "0-7923-7923-3"
  kind: "inproceedings"
  key: "Misra00"
- title: "The Drinking Philosopher s Problem"
  author:
  - name: "K. Mani Chandy"
    link: "https://researchr.org/alias/k.-mani-chandy"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "1984"
  doi: "http://doi.acm.org/10.1145/1780.1804"
  links:
    doi: "http://doi.acm.org/10.1145/1780.1804"
  researchr: "https://researchr.org/publication/ChandyM84"
  cites: 0
  citedby: 0
  journal: "ACM Transactions on Programming Languages and Systems"
  volume: "6"
  number: "4"
  pages: "632-646"
  kind: "article"
  key: "ChandyM84"
- title: "A Distributed Graph Algorithm: Knot Detection"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  - name: "K. Mani Chandy"
    link: "https://researchr.org/alias/k.-mani-chandy"
  year: "1982"
  doi: "http://doi.acm.org/10.1145/69622.357190"
  links:
    doi: "http://doi.acm.org/10.1145/69622.357190"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/MisraC82a"
  cites: 0
  citedby: 0
  journal: "ACM Transactions on Programming Languages and Systems"
  volume: "4"
  number: "4"
  pages: "678-686"
  kind: "article"
  key: "MisraC82a"
- title: "Active and Concurrent Topology Maintenance"
  author:
  - name: "Xiaozhou Li"
    link: "https://researchr.org/alias/xiaozhou-li"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  - name: "C. Greg Plaxton"
    link: "https://researchr.org/alias/c.-greg-plaxton"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3274&spage=320"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3274&spage=320"
  tags:
  - "maintenance"
  - "C++"
  researchr: "https://researchr.org/publication/LiMP04%3A0"
  cites: 0
  citedby: 0
  pages: "320-334"
  booktitle: "Distributed Computing, 18th International Conference, DISC 2004, Amsterdam, The Netherlands, October 4-7, 2004, Proceedings"
  editor:
  - name: "Rachid Guerraoui"
    link: "https://researchr.org/alias/rachid-guerraoui"
  volume: "3274"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-23306-7"
  kind: "inproceedings"
  key: "LiMP04:0"
- title: "Space-Time Trade Off in Implementing Certain Set Operations"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "1979"
  researchr: "https://researchr.org/publication/Misra79"
  cites: 0
  citedby: 0
  journal: "Inf. Process. Lett."
  volume: "8"
  number: "2"
  pages: "81-85"
  kind: "article"
  key: "Misra79"
- title: "The verified software initiative: A manifesto"
  author:
  - name: "C. A. R. Hoare"
    link: "https://researchr.org/alias/c.-a.-r.-hoare"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  - name: "Gary T. Leavens"
    link: "https://researchr.org/alias/gary-t.-leavens"
  - name: "Natarajan Shankar"
    link: "https://researchr.org/alias/natarajan-shankar"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1592434.1592439"
  links:
    doi: "http://doi.acm.org/10.1145/1592434.1592439"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/HoareMLS09"
  cites: 0
  citedby: 0
  journal: "ACM Computing Surveys"
  volume: "41"
  number: "4"
  kind: "article"
  key: "HoareMLS09"
- title: "Computing with Distributed Resources"
  author:
  - name: "Young-ri Choi"
    link: "https://researchr.org/alias/young-ri-choi"
  - name: "Siddhartha Rai"
    link: "https://researchr.org/alias/siddhartha-rai"
  - name: "Vinay Sampath Kumar"
    link: "https://researchr.org/alias/vinay-sampath-kumar"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  - name: "Harrick M. Vin"
    link: "https://researchr.org/alias/harrick-m.-vin"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2789&spage=23"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2789&spage=23"
  researchr: "https://researchr.org/publication/ChoiRKMV03"
  cites: 0
  citedby: 0
  pages: "23-24"
  booktitle: "Modular Programming Languages, Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003, Proceedings"
  editor:
  - name: "László Böszörményi"
    link: "https://researchr.org/alias/l%C3%A1szl%C3%B3-b%C3%B6sz%C3%B6rm%C3%A9nyi"
  - name: "Peter Schojer"
    link: "https://researchr.org/alias/peter-schojer"
  volume: "2789"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-40796-0"
  kind: "inproceedings"
  key: "ChoiRKMV03"
- title: "Finding Repeated Elements"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  - name: "David Gries"
    link: "https://researchr.org/alias/david-gries"
  year: "1982"
  researchr: "https://researchr.org/publication/MisraG82"
  cites: 0
  citedby: 0
  journal: "Science of Computer Programming"
  volume: "2"
  number: "2"
  pages: "143-152"
  kind: "article"
  key: "MisraG82"
- title: "Proofs of Networks of Processes"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  - name: "K. Mani Chandy"
    link: "https://researchr.org/alias/k.-mani-chandy"
  year: "1981"
  researchr: "https://researchr.org/publication/MisraC81"
  cites: 0
  citedby: 0
  journal: "IEEE Trans. Software Eng."
  volume: "7"
  number: "4"
  pages: "417-426"
  kind: "article"
  key: "MisraC81"
- title: "The use of performance models in systematic design"
  author:
  - name: "K. Mani Chandy"
    link: "https://researchr.org/alias/k.-mani-chandy"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  - name: "R. Berry"
    link: "https://researchr.org/alias/r.-berry"
  - name: "Doug Neuse"
    link: "https://researchr.org/alias/doug-neuse"
  year: "1982"
  doi: "http://doi.acm.org/10.1145/1500774.1500804"
  links:
    doi: "http://doi.acm.org/10.1145/1500774.1500804"
  tags:
  - "design"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/ChandyMBN82"
  cites: 0
  citedby: 0
  pages: "251-256"
  booktitle: "American Federation of Information Processing Societies: 1982 National Computer Conference, 7-10 June, 1982, Houston, Texas, USA"
  volume: "51"
  series: "AFIPS Conference Proceedings"
  publisher: "AFIPS Press"
  isbn: "0-88283-035-X"
  kind: "inproceedings"
  key: "ChandyMBN82"
- title: "Orchestrating Computations on the World-Wide Web"
  author:
  - name: "Young-ri Choi"
    link: "https://researchr.org/alias/young-ri-choi"
  - name: "Amit Garg"
    link: "https://researchr.org/alias/amit-garg"
  - name: "Siddhartha Rai"
    link: "https://researchr.org/alias/siddhartha-rai"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  - name: "Harrick M. Vin"
    link: "https://researchr.org/alias/harrick-m.-vin"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2400/24000001.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2400/24000001.htm"
  researchr: "https://researchr.org/publication/ChoiGRMV02"
  cites: 0
  citedby: 0
  pages: "1-20"
  booktitle: "Euro-Par 2002, Parallel Processing, 8th International Euro-Par Conference Paderborn, Germany, August 27-30, 2002, Proceedings"
  editor:
  - name: "Burkhard Monien"
    link: "https://researchr.org/alias/burkhard-monien"
  - name: "Rainer Feldmann"
    link: "https://researchr.org/alias/rainer-feldmann"
  volume: "2400"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-44049-6"
  kind: "inproceedings"
  key: "ChoiGRMV02"
- title: "Quicksort: Combining Concurrency, Recursion, and Mutable Data Structures"
  author:
  - name: "David Kitchin"
    link: "https://researchr.org/alias/david-kitchin"
  - name: "Adrian Quark"
    link: "https://researchr.org/alias/adrian-quark"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "2010"
  doi: "10.1007/978-1-84882-912-1_11"
  abstract: "Quicksort remains one of the most studied algorithms in computer science. It is important not only as a practical sorting method, but also as a splendid teaching aid for introducing recursion and systematic algorithm development. The algorithm has been studied extensively; so, it is natural to assume that everything that needs to be said about it has already been said. Yet, in attempting to code it using a recent programming language of our design, we discovered that its structure is more clearly expressed as a concurrent program that manipulates a shared mutable store, without any locking or explicit synchronization. In this paper, we describe the essential aspects of our programming language Orc, show a number of examples that combine its features in various forms, and then develop a concise description of Quicksort. We hope to highlight the importance of including concurrency, recursion and mutability within a single theory."
  note: "Written in honor of Sir Tony Hoare's 75th birthday"
  researchr: "https://researchr.org/publication/Kitchin2010"
  cites: 0
  citedby: 0
  pages: "229-254"
  booktitle: "Reflections on the Work of C.A.R. Hoare"
  publisher: "Springer"
  isbn: "978-1-84882-911-4"
  kind: "incollection"
  key: "Kitchin2010"
- title: "Maximally Concurrent Programs"
  author:
  - name: "Rajeev Joshi"
    link: "https://researchr.org/alias/rajeev-joshi"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "2000"
  doi: "http://link.springer.de/link/service/journals/00165/bibs/0012002/00120100.htm"
  links:
    doi: "http://link.springer.de/link/service/journals/00165/bibs/0012002/00120100.htm"
  researchr: "https://researchr.org/publication/JoshiM00%3A0"
  cites: 0
  citedby: 0
  journal: "Formal Asp. Comput."
  volume: "12"
  number: "2"
  pages: "100-119"
  kind: "article"
  key: "JoshiM00:0"
- title: "Some Classes of Naturally Provable Programs"
  author:
  - name: "Sanat K. Basu"
    link: "https://researchr.org/alias/sanat-k.-basu"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "1976"
  researchr: "https://researchr.org/publication/BasuM76"
  cites: 0
  citedby: 0
  pages: "400-406"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "BasuM76"
- title: "A Computer Modeling System Based on a User-Extensible Modeling Library"
  author:
  - name: "Doug Neuse"
    link: "https://researchr.org/alias/doug-neuse"
  - name: "K. Mani Chandy"
    link: "https://researchr.org/alias/k.-mani-chandy"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  - name: "R. Berry"
    link: "https://researchr.org/alias/r.-berry"
  year: "1981"
  tags:
  - "rule-based"
  - "meta-model"
  - "modeling"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/NeuseCMB81"
  cites: 0
  citedby: 0
  pages: "127-129"
  booktitle: "Seventh International Computer Measurement Group Conference, New Orleans, LA, USA, December 1-4, 1981, Proceedings"
  editor:
  - name: "Donald R. Deese"
    link: "https://researchr.org/alias/donald-r.-deese"
  - name: "Robert J. Bishop"
    link: "https://researchr.org/alias/robert-j.-bishop"
  - name: "Jeffrey M. Mohr"
    link: "https://researchr.org/alias/jeffrey-m.-mohr"
  - name: "H. Pat Artis"
    link: "https://researchr.org/alias/h.-pat-artis"
  publisher: "Computer Measurement Group"
  kind: "inproceedings"
  key: "NeuseCMB81"
- title: "Some Aspects of the Verification of Loop Computations"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "1978"
  researchr: "https://researchr.org/publication/Misra78b"
  cites: 0
  citedby: 0
  journal: "IEEE Trans. Software Eng."
  volume: "4"
  number: "6"
  pages: "478-486"
  kind: "article"
  key: "Misra78b"
- title: "Remark on  Algorithm 246: Graycode [Z] "
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "1975"
  doi: "http://doi.acm.org/10.1145/355644.356449"
  links:
    doi: "http://doi.acm.org/10.1145/355644.356449"
  researchr: "https://researchr.org/publication/Misra75"
  cites: 0
  citedby: 0
  journal: "ACM Transactions on Mathematical Software"
  volume: "1"
  number: "3"
  pages: "285"
  kind: "article"
  key: "Misra75"
- title: "An Approach to Formal Definitions and Proofs of Programming Principles"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "1978"
  tags:
  - "principles"
  - "programming"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/Misra78a"
  cites: 0
  citedby: 0
  journal: "IEEE Trans. Software Eng."
  volume: "4"
  number: "5"
  pages: "410-413"
  kind: "article"
  key: "Misra78a"
- title: "Orc Reference Manual v2.1.0"
  author:
  - name: "Brian McCord"
    link: "https://researchr.org/alias/brian-mccord"
  - name: "David Kitchin"
    link: "https://researchr.org/alias/david-kitchin"
  - name: "John A. Thywissen"
    link: "https://www.cs.utexas.edu/~jthywiss/"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "2013"
  month: "sep"
  abstract: "Comprehensive language reference manual for the Orc programming language. Orc is a programming language designed to make distributed and concurrent programs simple and intuitive to write. Orc expresses orchestration, a type of structured concurrency. It emphasizes the flow of control and gives a global view of a concurrent system. Orc is well-suited for task orchestration, a form of concurrent programming with applications in workflow, business process management, and web service orchestration. Orc provides constructs to orchestrate the concurrent invocation of services while managing time-outs, priorities, and failures of services or communication."
  links:
    "url": "http://apps.cs.utexas.edu/tech_reports/reports/tr/TR-2209.pdf"
  researchr: "https://researchr.org/publication/Orc%3A2013rm"
  cites: 0
  citedby: 0
  institution: "The University of Texas at Austin, Department of Computer Science"
  type: "Regular tech report"
  number: "TR-13-24"
  address: "Austin, TX"
  kind: "techreport"
  key: "Orc:2013rm"
- title: "An Exercise in Program Explanation"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "1981"
  doi: "http://doi.acm.org/10.1145/357121.357128"
  links:
    doi: "http://doi.acm.org/10.1145/357121.357128"
  researchr: "https://researchr.org/publication/Misra81"
  cites: 0
  citedby: 0
  journal: "ACM Transactions on Programming Languages and Systems"
  volume: "3"
  number: "1"
  pages: "104-109"
  kind: "article"
  key: "Misra81"
- title: "A personal perspective on concurrency"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "2014"
  doi: "http://doi.acm.org/10.1145/2594291.2604003"
  links:
    doi: "http://doi.acm.org/10.1145/2594291.2604003"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/pldi/Misra14"
  researchr: "https://researchr.org/publication/Misra14"
  cites: 0
  citedby: 0
  pages: "41"
  booktitle: "ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '14, Edinburgh, United Kingdom - June 09 - 11, 2014"
  editor:
  - name: "Michael F. P. O'Boyle"
    link: "https://researchr.org/alias/michael-f.-p.-o%27boyle"
  - name: "Keshav Pingali"
    link: "https://researchr.org/alias/keshav-pingali"
  publisher: "ACM"
  isbn: "978-1-4503-2784-8"
  kind: "inproceedings"
  key: "Misra14"
- title: "Equational Reasoning About Nondeterministic Processes"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "1990"
  researchr: "https://researchr.org/publication/Misra90"
  cites: 0
  citedby: 0
  journal: "Formal Asp. Comput."
  volume: "2"
  number: "2"
  pages: "167-195"
  kind: "article"
  key: "Misra90"
- title: "Maintaining the Ranch topology"
  author:
  - name: "Xiaozhou Li"
    link: "https://researchr.org/alias/xiaozhou-li"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  - name: "C. Greg Plaxton"
    link: "https://researchr.org/alias/c.-greg-plaxton"
  year: "2010"
  doi: "http://dx.doi.org/10.1016/j.jpdc.2010.06.004"
  links:
    doi: "http://dx.doi.org/10.1016/j.jpdc.2010.06.004"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jpdc/LiMP10"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/LiMP10"
  cites: 0
  citedby: 0
  journal: "J. Parallel Distrib. Comput."
  volume: "70"
  number: "11"
  pages: "1142-1158"
  kind: "article"
  key: "LiMP10"
- title: "Computation Orchestration"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  year: "2007"
  month: "March"
  doi: "10.1007/s10270-006-0012-1"
  researchr: "https://researchr.org/publication/MisraCook2007"
  cites: 0
  citedby: 1
  journal: "Software & Systems Modeling"
  volume: "6"
  number: "1"
  pages: "83-110"
  kind: "article"
  key: "MisraCook2007"
- title: "Deadlock Absence Proofs for Networks of Communicating Processes"
  author:
  - name: "K. Mani Chandy"
    link: "https://researchr.org/alias/k.-mani-chandy"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "1979"
  researchr: "https://researchr.org/publication/ChandyM79%3A0"
  cites: 0
  citedby: 0
  journal: "Inf. Process. Lett."
  volume: "9"
  number: "4"
  pages: "185-189"
  kind: "article"
  key: "ChandyM79:0"
- title: "Prospects and Limitations of Automatic Assertion Generation for Loop Programs"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "1977"
  researchr: "https://researchr.org/publication/Misra77"
  cites: 0
  citedby: 0
  journal: "SIAM Journal on Computing"
  volume: "6"
  number: "4"
  pages: "718-729"
  kind: "article"
  key: "Misra77"
- title: "Specifying Concurrent Objects as Communicating Processes"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "1990"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/Misra90%3A0"
  cites: 0
  citedby: 0
  journal: "Science of Computer Programming"
  volume: "14"
  number: "2-3"
  pages: "159-184"
  kind: "article"
  key: "Misra90:0"
- title: "Axioms for Memory Access in Asynchronous Hardware Systems"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "1986"
  doi: "http://doi.acm.org/10.1145/5001.5007"
  links:
    doi: "http://doi.acm.org/10.1145/5001.5007"
  researchr: "https://researchr.org/publication/Misra86%3A1"
  cites: 0
  citedby: 0
  journal: "ACM Transactions on Programming Languages and Systems"
  volume: "8"
  number: "1"
  pages: "142-153"
  kind: "article"
  key: "Misra86:1"
- title: "A Programming Model for the Orchestration of Web Services"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "2004"
  doi: "http://doi.ieeecomputersociety.org/10.1109/SEFM.2004.2"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/SEFM.2004.2"
  tags:
  - "web service"
  - "web services"
  - "programming"
  researchr: "https://researchr.org/publication/Misra04"
  cites: 0
  citedby: 0
  pages: "2-11"
  booktitle: "2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2222-X"
  kind: "inproceedings"
  key: "Misra04"
- title: "Proof of a Real-Time Mutual-Exclusion Algorithm"
  author:
  - name: "J. Allen Carruth"
    link: "https://researchr.org/alias/j.-allen-carruth"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "1996"
  doi: "http://dx.doi.org/10.1142/S012962649600025X"
  links:
    doi: "http://dx.doi.org/10.1142/S012962649600025X"
  researchr: "https://researchr.org/publication/CarruthM96"
  cites: 0
  citedby: 0
  journal: "Parallel Processing Letters"
  volume: "6"
  number: "2"
  pages: "251-257"
  kind: "article"
  key: "CarruthM96"
- title: "How Processes Learn"
  author:
  - name: "K. Mani Chandy"
    link: "https://researchr.org/alias/k.-mani-chandy"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "1985"
  researchr: "https://researchr.org/publication/ChandyM85"
  cites: 0
  citedby: 0
  pages: "204-214"
  booktitle: "PODC"
  kind: "inproceedings"
  key: "ChandyM85"
- title: "Distributed Computation on Graphs: Shortest Path Algorithms"
  author:
  - name: "K. Mani Chandy"
    link: "https://researchr.org/alias/k.-mani-chandy"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "1982"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/ChandyM82%3A0"
  cites: 0
  citedby: 0
  journal: "Communications of the ACM"
  volume: "25"
  number: "11"
  pages: "833-837"
  kind: "article"
  key: "ChandyM82:0"
- title: "Termination Detection of Diffusing Computations in Communicating Sequential Processes"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  - name: "K. Mani Chandy"
    link: "https://researchr.org/alias/k.-mani-chandy"
  year: "1982"
  doi: "http://doi.acm.org/10.1145/357153.357156"
  links:
    doi: "http://doi.acm.org/10.1145/357153.357156"
  tags:
  - "termination"
  researchr: "https://researchr.org/publication/MisraC82"
  cites: 0
  citedby: 0
  journal: "ACM Transactions on Programming Languages and Systems"
  volume: "4"
  number: "1"
  pages: "37-43"
  kind: "article"
  key: "MisraC82"
- title: "The Orc Programming Language"
  author:
  - name: "David Kitchin"
    link: "https://researchr.org/alias/david-kitchin"
  - name: "Adrian Quark"
    link: "https://researchr.org/alias/adrian-quark"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-02138-1_1"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-02138-1_1"
  tags:
  - "programming languages"
  - "programming"
  researchr: "https://researchr.org/publication/KitchinQCM09"
  cites: 0
  citedby: 0
  pages: "1-25"
  booktitle: "Formal Techniques for Distributed Systems, Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings"
  editor:
  - name: "David Lee"
    link: "https://researchr.org/alias/david-lee"
  - name: "Antónia Lopes"
    link: "https://researchr.org/alias/ant%C3%B3nia-lopes"
  - name: "Arnd Poetzsch-Heffter"
    link: "https://researchr.org/alias/arnd-poetzsch-heffter"
  volume: "5522"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-02137-4"
  kind: "inproceedings"
  key: "KitchinQCM09"
- title: "A Language for Task Orchestration and Its Semantic Properties"
  author:
  - name: "David Kitchin"
    link: "https://researchr.org/alias/david-kitchin"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11817949_32"
  links:
    doi: "http://dx.doi.org/10.1007/11817949_32"
  researchr: "https://researchr.org/publication/KitchinCM06"
  cites: 0
  citedby: 1
  pages: "477-491"
  booktitle: "CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings"
  editor:
  - name: "Christel Baier"
    link: "https://researchr.org/alias/christel-baier"
  - name: "Holger Hermanns"
    link: "https://researchr.org/alias/holger-hermanns"
  volume: "4137"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-37376-4"
  kind: "inproceedings"
  key: "KitchinCM06"
- title: "A Discipline of Multiprogramming - Programming Theory for Distributed Applications"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "2001"
  doi: "http://dx.doi.org/10.1007/978-1-4419-8528-6"
  links:
    doi: "http://dx.doi.org/10.1007/978-1-4419-8528-6"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/series/mcs/Misra01"
  researchr: "https://researchr.org/publication/mcs-Misra01"
  cites: 0
  citedby: 0
  series: "Monographs in Computer Science"
  publisher: "Springer"
  isbn: "978-1-4419-8528-6"
  kind: "book"
  key: "mcs-Misra01"
- title: "A Tree Semantics of an Orchestration Language"
  author:
  - name: "Tony Hoare"
    link: "https://researchr.org/alias/tony-hoare"
  - name: "Galen Menzel"
    link: "https://researchr.org/alias/galen-menzel"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "2005"
  doi: "10.1007/1-4020-3532-2_11"
  abstract: "We explore the following quintessential problem: given a set of basic computing elements how do we compose them to yield interesting computation patterns. Our goal is to study composition operators which apply across a broad spectrum of computing elements, from sequential programs to distributed transactions over computer networks. Our theory makes very few assumptions about the nature of the basic elements; in particular, we do not assume that an element's computation always terminates, or that it is deterministic. We develop a theory which provides useful guidance for application designs, from integration of sequential programs to coordination of distributed tasks. The primary application of interest for us is orchestration of web services over the internet, which we describe in detail in this paper."
  researchr: "https://researchr.org/publication/Hoare2005"
  cites: 0
  citedby: 0
  pages: "331-350"
  booktitle: "Engineering Theories of Software Intensive Systems"
  volume: "195"
  series: "NATO Science Series II: Mathematics, Physics and Chemistry"
  publisher: "Springer"
  isbn: "978-1-4020-3530-2"
  kind: "inproceedings"
  key: "Hoare2005"
- title: "Corrigenda: Phase Synchronization"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "1992"
  tags:
  - "synchronization"
  researchr: "https://researchr.org/publication/Misra92"
  cites: 0
  citedby: 0
  journal: "Inf. Process. Lett."
  volume: "41"
  number: "1"
  pages: "59"
  kind: "article"
  key: "Misra92"
- title: "Orc User Guide v2.1.0"
  author:
  - name: "Brian McCord"
    link: "https://researchr.org/alias/brian-mccord"
  - name: "David Kitchin"
    link: "https://researchr.org/alias/david-kitchin"
  - name: "John A. Thywissen"
    link: "https://www.cs.utexas.edu/~jthywiss/"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "2013"
  month: "sep"
  abstract: "Introduction to the Orc programming language. Orc is a programming language designed to make distributed and concurrent programs simple and intuitive to write. Orc expresses orchestration, a type of structured concurrency. It emphasizes the flow of control and gives a global view of a concurrent system. Orc is well-suited for task orchestration, a form of concurrent programming with applications in workflow, business process management, and web service orchestration. Orc provides constructs to orchestrate the concurrent invocation of services while managing time-outs, priorities, and failures of services or communication."
  links:
    "url": "http://apps.cs.utexas.edu/tech_reports/reports/tr/TR-2208.pdf"
  researchr: "https://researchr.org/publication/Orc%3A2013ug"
  cites: 0
  citedby: 0
  institution: "The University of Texas at Austin, Department of Computer Science"
  type: "Regular tech report"
  number: "TR-13-23"
  address: "Austin, TX"
  kind: "techreport"
  key: "Orc:2013ug"
- title: "Computation Orchestration: A Basis for Wide-Area Computing"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "2005"
  doi: "10.1007/1-4020-3532-2_10"
  abstract: "This paper presents a formal semantics of a language, called Orc, which is described in a companion paper{$[$}3{$]$} in this volume. There are many styles of presentation of programming language semantics. The more operational styles give more concrete guidance to the implementer on how a program should be executed. The more abstract styles are more helpful in proving the correctness of particular programs. The style adopted in this paper is neutral between implementer and programmer. Its main achievement is to permit simple proofs of familiar algebraic identities that hold between programs with different syntactic forms."
  researchr: "https://researchr.org/publication/Misra2005"
  cites: 0
  citedby: 0
  pages: "285-330"
  booktitle: "Engineering Theories of Software Intensive Systems"
  volume: "195"
  series: "NATO Science Series II: Mathematics, Physics and Chemistry"
  publisher: "Springer"
  isbn: "978-1-4020-3530-2"
  kind: "inproceedings"
  key: "Misra2005"
- title: "Axioms for Memory Access in Asynchronous Hardware Systems"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "1984"
  researchr: "https://researchr.org/publication/Misra84"
  cites: 0
  citedby: 0
  pages: "96-110"
  booktitle: "Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984"
  editor:
  - name: "Stephen D. Brookes"
    link: "https://researchr.org/alias/stephen-d.-brookes"
  - name: "A. W. Roscoe"
    link: "https://researchr.org/alias/a.-w.-roscoe"
  - name: "Glynn Winskel"
    link: "https://researchr.org/alias/glynn-winskel"
  volume: "197"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-15670-4"
  kind: "inproceedings"
  key: "Misra84"
- title: "Parallel processing and simulation: a panel discussion"
  author:
  - name: "James G. Smith"
    link: "https://researchr.org/alias/james-g.-smith"
  - name: "John Craig Comfort"
    link: "https://researchr.org/alias/john-craig-comfort"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  - name: "Ann Hayes"
    link: "https://researchr.org/alias/ann-hayes"
  - name: "George S. Fishman"
    link: "https://researchr.org/alias/george-s.-fishman"
  year: "1982"
  doi: "http://dl.acm.org/citation.cfm?id=1035959"
  links:
    doi: "http://dl.acm.org/citation.cfm?id=1035959"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/wsc/SmithCMHF82"
  researchr: "https://researchr.org/publication/SmithCMHF82"
  cites: 0
  citedby: 0
  pages: "695"
  booktitle: "Proceedings of the 14th conference on Winter Simulation, WSC 1982, San Diego, CA, USA, December 6-8, 1982"
  editor:
  - name: "Yen W. Chao"
    link: "https://researchr.org/alias/yen-w.-chao"
  - name: "Orlando S. Madrigal"
    link: "https://researchr.org/alias/orlando-s.-madrigal"
  publisher: "ACM"
  kind: "inproceedings"
  key: "SmithCMHF82"
- title: "Distributed Simulation of Networks"
  author:
  - name: "K. Mani Chandy"
    link: "https://researchr.org/alias/k.-mani-chandy"
  - name: "Victor Holmes"
    link: "https://researchr.org/alias/victor-holmes"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "1979"
  researchr: "https://researchr.org/publication/ChandyHM79"
  cites: 0
  citedby: 0
  journal: "Computer Networks"
  volume: "3"
  pages: "105-113"
  kind: "article"
  key: "ChandyHM79"
- title: "Proving Safety and Liveness of Communicating Processes with Examples"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  - name: "K. Mani Chandy"
    link: "https://researchr.org/alias/k.-mani-chandy"
  - name: "Todd Smith"
    link: "https://researchr.org/alias/todd-smith"
  year: "1982"
  researchr: "https://researchr.org/publication/MisraCS82"
  cites: 0
  citedby: 0
  pages: "201-208"
  booktitle: "PODC"
  kind: "inproceedings"
  key: "MisraCS82"
- title: "Distributed Discrete-Event Simulation"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "1986"
  doi: "http://doi.acm.org/10.1145/6462.6485"
  links:
    doi: "http://doi.acm.org/10.1145/6462.6485"
  researchr: "https://researchr.org/publication/Misra86"
  cites: 0
  citedby: 0
  journal: "ACM Computing Surveys"
  volume: "18"
  number: "1"
  pages: "39-65"
  kind: "article"
  key: "Misra86"
- title: "Brief announcement: concurrent maintenance of rings"
  author:
  - name: "Xiaozhou Li"
    link: "https://researchr.org/alias/xiaozhou-li"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  - name: "C. Greg Plaxton"
    link: "https://researchr.org/alias/c.-greg-plaxton"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/1011767.1011833"
  links:
    doi: "http://doi.acm.org/10.1145/1011767.1011833"
  tags:
  - "maintenance"
  - "C++"
  researchr: "https://researchr.org/publication/LiMP04"
  cites: 0
  citedby: 0
  pages: "376"
  booktitle: "Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, PODC 2004, St. John s, Newfoundland, Canada, July 25-28, 2004"
  editor:
  - name: "Soma Chaudhuri"
    link: "https://researchr.org/alias/soma-chaudhuri"
  - name: "Shay Kutten"
    link: "https://researchr.org/alias/shay-kutten"
  publisher: "ACM"
  isbn: "1-58113-802-4"
  kind: "inproceedings"
  key: "LiMP04"
- title: "Preface to special issue on software verification"
  author:
  - name: "C. A. R. Hoare"
    link: "https://researchr.org/alias/c.-a.-r.-hoare"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1592434.1592435"
  links:
    doi: "http://doi.acm.org/10.1145/1592434.1592435"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/HoareM09"
  cites: 0
  citedby: 0
  journal: "ACM Computing Surveys"
  volume: "41"
  number: "4"
  kind: "article"
  key: "HoareM09"
- title: "A principle of algorithm design on limited problem domain"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "1976"
  doi: "http://doi.acm.org/10.1145/800146.804849"
  links:
    doi: "http://doi.acm.org/10.1145/800146.804849"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/dac/Misra76"
  researchr: "https://researchr.org/publication/Misra76"
  cites: 0
  citedby: 0
  pages: "479-483"
  booktitle: "Proceedings of the 13th Design Automation Conference, DAC '76, San Francisco, California, USA, June 28-30, 1976"
  editor:
  - name: "Donald J. Humcke"
    link: "https://researchr.org/alias/donald-j.-humcke"
  - name: "J. Michael Galey"
    link: "https://researchr.org/alias/j.-michael-galey"
  - name: "Stephen A. Szygenda"
    link: "https://researchr.org/alias/stephen-a.-szygenda"
  - name: "Pat O. Pistilli"
    link: "https://researchr.org/alias/pat-o.-pistilli"
  - name: "Nitta P. Dooner"
    link: "https://researchr.org/alias/nitta-p.-dooner"
  - name: "Judith G. Brinsfield"
    link: "https://researchr.org/alias/judith-g.-brinsfield"
  - name: "J. S. Olila"
    link: "https://researchr.org/alias/j.-s.-olila"
  publisher: "ACM"
  kind: "inproceedings"
  key: "Misra76"
- title: "A secure voting scheme based on rational self-interest"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "2012"
  doi: "http://dx.doi.org/10.1007/s00165-012-0248-1"
  links:
    doi: "http://dx.doi.org/10.1007/s00165-012-0248-1"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/fac/Misra12"
  researchr: "https://researchr.org/publication/Misra12"
  cites: 0
  citedby: 0
  journal: "Formal Asp. Comput."
  volume: "24"
  number: "4-6"
  pages: "793-805"
  kind: "article"
  key: "Misra12"
- title: "A Discipline of Multiprogramming"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "1994"
  links:
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/dimacs/Misra94"
  researchr: "https://researchr.org/publication/Misra94-0"
  cites: 0
  citedby: 0
  pages: "357-382"
  booktitle: "Specification of Parallel Algorithms, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, May 9-11, 1994"
  editor:
  - name: "Guy E. Blelloch"
    link: "https://researchr.org/alias/guy-e.-blelloch"
  - name: "K. Mani Chandy"
    link: "https://researchr.org/alias/k.-mani-chandy"
  - name: "Suresh Jagannathan"
    link: "https://researchr.org/alias/suresh-jagannathan"
  volume: "18"
  series: "DIMACS Series in Discrete Mathematics and Theoretical Computer Science"
  publisher: "DIMACS/AMS"
  kind: "inproceedings"
  key: "Misra94-0"
- title: "A Perspective on Parallel Program Design"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "1991"
  tags:
  - "parallel programming"
  - "programming"
  - "design"
  researchr: "https://researchr.org/publication/Misra91"
  cites: 0
  citedby: 0
  pages: "2-5"
  booktitle: "Research Directions in High-Level Parallel Programming Languages, Mont Saint-Michel, France, June 17-19, 1991, Procedings"
  editor:
  - name: "Jean-Pierre Banâtre"
    link: "https://researchr.org/alias/jean-pierre-ban%C3%A2tre"
  - name: "Daniel Le Métayer"
    link: "https://researchr.org/alias/daniel-le-m%C3%A9tayer"
  volume: "574"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-55160-3"
  kind: "inproceedings"
  key: "Misra91"
- title: "A Linear Tree Partitioning Algorithm"
  author:
  - name: "Sukhamay Kundu"
    link: "https://researchr.org/alias/sukhamay-kundu"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "1977"
  tags:
  - "partitioning"
  researchr: "https://researchr.org/publication/KunduM77"
  cites: 0
  citedby: 0
  journal: "SIAM Journal on Computing"
  volume: "6"
  number: "1"
  pages: "151-154"
  kind: "article"
  key: "KunduM77"
- title: "Powerlist: A Structure for Parallel Recursion"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "1994"
  doi: "http://doi.acm.org/10.1145/197320.197356"
  links:
    doi: "http://doi.acm.org/10.1145/197320.197356"
  researchr: "https://researchr.org/publication/Misra94"
  cites: 0
  citedby: 0
  journal: "ACM Transactions on Programming Languages and Systems"
  volume: "16"
  number: "6"
  pages: "1737-1767"
  kind: "article"
  key: "Misra94"
- title: "Derivation of a parallel string matching algorithm"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "2003"
  doi: "http://dx.doi.org/10.1016/S0020-0190(02)00416-7"
  links:
    doi: "http://dx.doi.org/10.1016/S0020-0190(02)00416-7"
  researchr: "https://researchr.org/publication/Misra03%3A0"
  cites: 0
  citedby: 0
  journal: "Inf. Process. Lett."
  volume: "85"
  number: "5"
  pages: "255-260"
  kind: "article"
  key: "Misra03:0"
- title: "A Constructive Proof of Vizing s Theorem"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  - name: "David Gries"
    link: "https://researchr.org/alias/david-gries"
  year: "1992"
  researchr: "https://researchr.org/publication/MisraG92"
  cites: 0
  citedby: 0
  journal: "Inf. Process. Lett."
  volume: "41"
  number: "3"
  pages: "131-133"
  kind: "article"
  key: "MisraG92"
- title: "Proving Loop Programs"
  author:
  - name: "Sanat K. Basu"
    link: "https://researchr.org/alias/sanat-k.-basu"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "1975"
  researchr: "https://researchr.org/publication/BasuM75"
  cites: 0
  citedby: 0
  journal: "IEEE Trans. Software Eng."
  volume: "1"
  number: "1"
  pages: "76-86"
  kind: "article"
  key: "BasuM75"
- title: "Distributed Deadlock Detection"
  author:
  - name: "K. Mani Chandy"
    link: "https://researchr.org/alias/k.-mani-chandy"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  - name: "Laura M. Haas"
    link: "https://researchr.org/alias/laura-m.-haas"
  year: "1983"
  doi: "http://doi.acm.org/10.1145/357360.357365"
  links:
    doi: "http://doi.acm.org/10.1145/357360.357365"
  researchr: "https://researchr.org/publication/ChandyMH83"
  cites: 0
  citedby: 0
  journal: "ACM Trans. Comput. Syst."
  volume: "1"
  number: "2"
  pages: "144-156"
  kind: "article"
  key: "ChandyMH83"
- title: "A Discipline of Multiprogramming"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "1996"
  researchr: "https://researchr.org/publication/Misra96"
  cites: 0
  citedby: 0
  journal: "ACM Computing Surveys"
  volume: "28"
  number: "4es"
  pages: "49"
  kind: "article"
  key: "Misra96"
- title: "Structured Interacting Computations"
  author:
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-89437-7_9"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-89437-7_9"
  researchr: "https://researchr.org/publication/CookM08"
  cites: 0
  citedby: 0
  pages: "139-145"
  booktitle: "Software-Intensive Systems and New Computing Paradigms - Challenges and Visions"
  editor:
  - name: "Martin Wirsing"
    link: "https://researchr.org/alias/martin-wirsing"
  - name: "Jean-Pierre Banâtre"
    link: "https://researchr.org/alias/jean-pierre-ban%C3%A2tre"
  - name: "Matthias M. Hölzl"
    link: "https://researchr.org/alias/matthias-m.-h%C3%B6lzl"
  - name: "Axel Rauschmayer"
    link: "https://researchr.org/alias/axel-rauschmayer"
  volume: "5380"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-89436-0"
  kind: "incollection"
  key: "CookM08"
- title: "Parallel program design - a foundation"
  author:
  - name: "K. Mani Chandy"
    link: "https://researchr.org/alias/k.-mani-chandy"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "1989"
  links:
    dblp: "http://dblp.uni-trier.de/rec/bibtex/books/daglib/0067338"
  tags:
  - "parallel programming"
  - "programming"
  - "design"
  researchr: "https://researchr.org/publication/0067338"
  cites: 0
  citedby: 0
  publisher: "Addison-Wesley"
  isbn: "978-0-201-05866-6"
  kind: "book"
  key: "0067338"
- title: "Loosely-Coupled Processes"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "1991"
  researchr: "https://researchr.org/publication/Misra91%3A0"
  cites: 0
  citedby: 0
  pages: "1-26"
  booktitle: "PARLE  91: Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 10-13, 1991, Proceedings"
  editor:
  - name: "Emile H. L. Aarts"
    link: "https://researchr.org/alias/emile-h.-l.-aarts"
  - name: "Jan van Leeuwen"
    link: "https://researchr.org/alias/jan-van-leeuwen"
  - name: "Martin Rem"
    link: "https://researchr.org/alias/martin-rem"
  volume: "506"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-54152-7"
  kind: "inproceedings"
  key: "Misra91:0"
- title: "A Programming Model for Wide-Area Computing"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2021/20210222.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2021/20210222.htm"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/Misra01%3A0"
  cites: 0
  citedby: 0
  pages: "222"
  booktitle: "FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings"
  editor:
  - name: "José Nuno Oliveira"
    link: "https://researchr.org/alias/jos%C3%A9-nuno-oliveira"
  - name: "Pamela Zave"
    link: "https://researchr.org/alias/pamela-zave"
  volume: "2021"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-41791-5"
  kind: "inproceedings"
  key: "Misra01:0"
- title: "An Example of Stepwise Refinement of Distributed Programs: Quiescence Detection"
  author:
  - name: "K. Mani Chandy"
    link: "https://researchr.org/alias/k.-mani-chandy"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "1986"
  doi: "http://doi.acm.org/10.1145/5956.5958"
  links:
    doi: "http://doi.acm.org/10.1145/5956.5958"
  tags:
  - "refinement"
  researchr: "https://researchr.org/publication/ChandyM86%3A0"
  cites: 0
  citedby: 0
  journal: "ACM Transactions on Programming Languages and Systems"
  volume: "8"
  number: "3"
  pages: "326-343"
  kind: "article"
  key: "ChandyM86:0"
- title: "Orchestrating Computations on the World-Wide Web"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  - name: "Harrick M. Vin"
    link: "https://researchr.org/alias/harrick-m.-vin"
  year: "2001"
  doi: "http://csdl.computer.org/comp/proceedings/apsec/2001/1408/00/14080305abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/apsec/2001/1408/00/14080305abs.htm"
  researchr: "https://researchr.org/publication/MisraV01"
  cites: 0
  citedby: 0
  pages: "305"
  booktitle: "8th Asia-Pacific Software Engineering Conference (APSEC 2001), 4-7 December 2001, Macau, China"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-1408-1"
  kind: "inproceedings"
  key: "MisraV01"
- title: "A Linear Sieve Algorithm for Finding Prime Numbers"
  author:
  - name: "David Gries"
    link: "https://researchr.org/alias/david-gries"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "1978"
  researchr: "https://researchr.org/publication/GriesM78"
  cites: 0
  citedby: 0
  journal: "Communications of the ACM"
  volume: "21"
  number: "12"
  pages: "999-1003"
  kind: "article"
  key: "GriesM78"
- title: "A Distributed Algorithm for Detecting Resource Deadlocks in Distributed Systems"
  author:
  - name: "K. Mani Chandy"
    link: "https://researchr.org/alias/k.-mani-chandy"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "1982"
  researchr: "https://researchr.org/publication/ChandyM82"
  cites: 0
  citedby: 0
  pages: "157-164"
  booktitle: "PODC"
  kind: "inproceedings"
  key: "ChandyM82"
- title: "Simulation Using Orchestration"
  author:
  - name: "David Kitchin"
    link: "https://researchr.org/alias/david-kitchin"
  - name: "Evan Powell"
    link: "https://researchr.org/alias/evan-powell"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-79980-1_2"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-79980-1_2"
  researchr: "https://researchr.org/publication/KitchinPM08"
  cites: 0
  citedby: 0
  pages: "2-15"
  booktitle: "Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings"
  editor:
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Grigore Rosu"
    link: "http://fsl.cs.uiuc.edu/~grosu/"
  volume: "5140"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-79979-5"
  kind: "inproceedings"
  key: "KitchinPM08"
- title: "Asynchronous Distributed Simulation via a Sequence of Parallel Computations"
  author:
  - name: "K. Mani Chandy"
    link: "https://researchr.org/alias/k.-mani-chandy"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "1981"
  researchr: "https://researchr.org/publication/ChandyM81"
  cites: 0
  citedby: 0
  journal: "Communications of the ACM"
  volume: "24"
  number: "4"
  pages: "198-206"
  kind: "article"
  key: "ChandyM81"
- title: "Loosely-coupled processes"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "1992"
  doi: "http://dx.doi.org/10.1016/0167-739X(92)90063-H"
  links:
    doi: "http://dx.doi.org/10.1016/0167-739X(92)90063-H"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/fgcs/Misra92"
  researchr: "https://researchr.org/publication/Misra92-0"
  cites: 0
  citedby: 0
  journal: "Future Generation Comp. Syst."
  volume: "8"
  number: "4"
  pages: "269-286"
  kind: "article"
  key: "Misra92-0"
- title: "A Theory of Hints in Model Checking"
  author:
  - name: "Markus Kaltenbach"
    link: "https://researchr.org/alias/markus-kaltenbach"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "2002"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2757&spage=423"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2757&spage=423"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/KaltenbachM02"
  cites: 0
  citedby: 0
  pages: "423-438"
  booktitle: "Formal Methods at the Crossroads. From Panacea to Foundational Support, 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers"
  editor:
  - name: "Bernhard K. Aichernig"
    link: "https://researchr.org/alias/bernhard-k.-aichernig"
  - name: "T. S. E. Maibaum"
    link: "https://researchr.org/alias/t.-s.-e.-maibaum"
  volume: "2757"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-20527-6"
  kind: "inproceedings"
  key: "KaltenbachM02"
- title: "A timed semantics of Orc"
  author:
  - name: "Ian Wehrman"
    link: "https://researchr.org/alias/ian-wehrman"
  - name: "David Kitchin"
    link: "https://researchr.org/alias/david-kitchin"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.tcs.2008.04.037"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2008.04.037"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/WehrmanKCM08"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "402"
  number: "2-3"
  pages: "234-248"
  kind: "article"
  key: "WehrmanKCM08"
- title: "Designing a Calculational Proof of Cantor's Theorem"
  author:
  - name: "Edsger W. Dijkstra"
    link: "https://researchr.org/alias/edsger-w.-dijkstra"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "2001"
  doi: "http://www.jstor.org/stable/2695799"
  links:
    doi: "http://www.jstor.org/stable/2695799"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/tamm/DijkstraM01"
  researchr: "https://researchr.org/publication/DijkstraM01"
  cites: 0
  citedby: 0
  journal: "The American Mathematical Monthly"
  volume: "108"
  number: "5"
  pages: "440-443"
  kind: "article"
  key: "DijkstraM01"
- title: "In memoriam: Edsger W. Dijkstra 1930-2002"
  author:
  - name: "Robert S. Boyer"
    link: "https://researchr.org/alias/robert-s.-boyer"
  - name: "W. H. J. Feijen"
    link: "https://researchr.org/alias/w.-h.-j.-feijen"
  - name: "David Gries"
    link: "https://researchr.org/alias/david-gries"
  - name: "C. A. R. Hoare"
    link: "https://researchr.org/alias/c.-a.-r.-hoare"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  - name: "J. Moore"
    link: "https://researchr.org/alias/j.-moore"
  - name: "H. Richards"
    link: "https://researchr.org/alias/h.-richards"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/570907.570921"
  links:
    doi: "http://doi.acm.org/10.1145/570907.570921"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/BoyerFGHMMR02"
  cites: 0
  citedby: 0
  journal: "Communications of the ACM"
  volume: "45"
  number: "10"
  pages: "21-22"
  kind: "article"
  key: "BoyerFGHMMR02"
- title: "Virtual Time and Timeout in Client-Server Networks - (Extended Abstract)"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "2011"
  doi: "http://dx.doi.org/10.1007/978-3-642-23283-1_1"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-23283-1_1"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ictac/Misra11"
  researchr: "https://researchr.org/publication/Misra11-0"
  cites: 0
  citedby: 0
  pages: "1-3"
  booktitle: "Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011. Proceedings"
  editor:
  - name: "Antonio Cerone"
    link: "https://researchr.org/alias/antonio-cerone"
  - name: "Pekka Pihlajasaari"
    link: "https://researchr.org/alias/pekka-pihlajasaari"
  volume: "6916"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-23282-4"
  kind: "inproceedings"
  key: "Misra11-0"
- title: "A Denotational Semantic Theory of Concurrent Systems"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "2015"
  doi: "http://dx.doi.org/10.1007/978-3-319-23165-5_23"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-319-23165-5_23"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/birthday/Misra15"
  researchr: "https://researchr.org/publication/Misra15-4"
  cites: 0
  citedby: 0
  pages: "493-518"
  booktitle: "Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday"
  editor:
  - name: "Narciso Martí-Oliet"
    link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet"
  - name: "Peter Csaba Ölveczky"
    link: "https://researchr.org/alias/peter-csaba-%C3%B6lveczky"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  volume: "9200"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-319-23164-8"
  kind: "inproceedings"
  key: "Misra15-4"
- title: "Optimal Chain Partitions of Trees"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  - name: "Robert Endre Tarjan"
    link: "https://researchr.org/alias/robert-endre-tarjan"
  year: "1975"
  tags:
  - "partitioning"
  researchr: "https://researchr.org/publication/MisraT75"
  cites: 0
  citedby: 0
  journal: "Inf. Process. Lett."
  volume: "4"
  number: "1"
  pages: "24-26"
  kind: "article"
  key: "MisraT75"
- title: "A Simple Proof of a Simple Consensus Algorithm"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "1989"
  researchr: "https://researchr.org/publication/Misra89%3A0"
  cites: 0
  citedby: 0
  journal: "Inf. Process. Lett."
  volume: "33"
  number: "1"
  pages: "21-24"
  kind: "article"
  key: "Misra89:0"
- title: "An Object Model for Multiprogramming"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "1998"
  tags:
  - "meta-model"
  - "object-role modeling"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/Misra98"
  cites: 0
  citedby: 0
  pages: "881-889"
  booktitle: "12th International Parallel Processing Symposium / 9th Symposium on Parallel and Distributed Processing (IPPS/SPDP  98), March 30 - April 3, 1998, Orlando, Florida, USA, Proceedings"
  publisher: "IEEE Computer Society"
  isbn: "0-8186-8403-8"
  kind: "inproceedings"
  key: "Misra98"
- title: "Distributed Simulation: A Case Study in Design and Verification of Distributed Programs"
  author:
  - name: "K. Mani Chandy"
    link: "https://researchr.org/alias/k.-mani-chandy"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "1979"
  tags:
  - "case study"
  - "program verification"
  - "design"
  researchr: "https://researchr.org/publication/ChandyM79"
  cites: 0
  citedby: 0
  journal: "IEEE Trans. Software Eng."
  volume: "5"
  number: "5"
  pages: "440-452"
  kind: "article"
  key: "ChandyM79"
- title: "Concurrent Maintenance of Rings"
  author:
  - name: "Xiaozhou Li"
    link: "https://researchr.org/alias/xiaozhou-li"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  - name: "C. Greg Plaxton"
    link: "https://researchr.org/alias/c.-greg-plaxton"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/s00446-006-0008-7"
  links:
    doi: "http://dx.doi.org/10.1007/s00446-006-0008-7"
  tags:
  - "maintenance"
  - "C++"
  researchr: "https://researchr.org/publication/LiMP06%3A1"
  cites: 0
  citedby: 0
  journal: "Distributed Computing"
  volume: "19"
  number: "2"
  pages: "126-148"
  kind: "article"
  key: "LiMP06:1"
- title: "A Simple, Object-Based View of Multiprogramming"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "2002"
  tags:
  - "rule-based"
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/Misra02%3A0"
  cites: 0
  citedby: 0
  journal: "Formal Methods in System Design"
  volume: "20"
  number: "1"
  pages: "23-45"
  kind: "article"
  key: "Misra02:0"
- title: "Equational Reasoning About Nondeterministic Processes"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "1989"
  researchr: "https://researchr.org/publication/Misra89"
  cites: 0
  citedby: 0
  pages: "29-44"
  booktitle: "PODC"
  kind: "inproceedings"
  key: "Misra89"
- title: "Detecting Termination of Distributed Computations Using Markers"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "1983"
  tags:
  - "termination"
  researchr: "https://researchr.org/publication/Misra83"
  cites: 0
  citedby: 0
  pages: "290-294"
  booktitle: "PODC"
  kind: "inproceedings"
  key: "Misra83"
- title: "Orchestration"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "2013"
  doi: "http://dx.doi.org/10.1007/978-3-319-07602-7_2"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-319-07602-7_2"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/facs2/Misra13"
  researchr: "https://researchr.org/publication/Misra13-2"
  cites: 0
  citedby: 0
  pages: "5-12"
  booktitle: "Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers"
  editor:
  - name: "José Luiz Fiadeiro"
    link: "https://researchr.org/alias/jos%C3%A9-luiz-fiadeiro"
  - name: "Zhiming Liu 0001"
    link: "https://researchr.org/alias/zhiming-liu-0001"
  - name: "Jinyun Xue"
    link: "https://researchr.org/alias/jinyun-xue"
  volume: "8348"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-319-07601-0"
  kind: "inproceedings"
  key: "Misra13-2"
- title: "How Processes Learn"
  author:
  - name: "K. Mani Chandy"
    link: "https://researchr.org/alias/k.-mani-chandy"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "1986"
  researchr: "https://researchr.org/publication/ChandyM86"
  cites: 0
  citedby: 0
  journal: "Distributed Computing"
  volume: "1"
  number: "1"
  pages: "40-52"
  kind: "article"
  key: "ChandyM86"
- title: "A Message-Based Approach to Discrete-Event Simulation"
  author:
  - name: "Rajive Bagrodia"
    link: "https://researchr.org/alias/rajive-bagrodia"
  - name: "K. Mani Chandy"
    link: "https://researchr.org/alias/k.-mani-chandy"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "1987"
  tags:
  - "rule-based"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/BagrodiaCM87"
  cites: 0
  citedby: 0
  journal: "IEEE Trans. Software Eng."
  volume: "13"
  number: "6"
  pages: "654-665"
  kind: "article"
  key: "BagrodiaCM87"
- title: "A walk over the shortest path: Dijkstra s Algorithm viewed as fixed-point computation"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "2001"
  doi: "http://dx.doi.org/10.1016/S0020-0190(00)00202-7"
  links:
    doi: "http://dx.doi.org/10.1016/S0020-0190(00)00202-7"
  researchr: "https://researchr.org/publication/Misra01"
  cites: 0
  citedby: 0
  journal: "Inf. Process. Lett."
  volume: "77"
  number: "2-4"
  pages: "197-200"
  kind: "article"
  key: "Misra01"
- title: "Topic Introduction"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  - name: "Wolfgang Reisig"
    link: "https://researchr.org/alias/wolfgang-reisig"
  - name: "Michael Schoettner"
    link: "https://researchr.org/alias/michael-schoettner"
  - name: "Laurent Lefèvre"
    link: "https://researchr.org/alias/laurent-lef%C3%A8vre"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2790&spage=623"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2790&spage=623"
  researchr: "https://researchr.org/publication/MisraRSL03"
  cites: 0
  citedby: 0
  pages: "623"
  booktitle: "Euro-Par 2003. Parallel Processing, 9th International Euro-Par Conference, Klagenfurt, Austria, August 26-29, 2003. Proceedings"
  editor:
  - name: "Harald Kosch"
    link: "https://researchr.org/alias/harald-kosch"
  - name: "László Böszörményi"
    link: "https://researchr.org/alias/l%C3%A1szl%C3%B3-b%C3%B6sz%C3%B6rm%C3%A9nyi"
  - name: "Hermann Hellwagner"
    link: "https://researchr.org/alias/hermann-hellwagner"
  volume: "2790"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-40788-X"
  kind: "inproceedings"
  key: "MisraRSL03"
- title: "Parallelism and Programming: A Perspective"
  author:
  - name: "K. Mani Chandy"
    link: "https://researchr.org/alias/k.-mani-chandy"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "1987"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/ChandyM87"
  cites: 0
  citedby: 0
  pages: "173-194"
  booktitle: "Foundations of Software Technology and Theoretical Computer Science, Seventh Conference, Pune, India, December 17-19, 1987, Proceedings"
  editor:
  - name: "Kesav V. Nori"
    link: "https://researchr.org/alias/kesav-v.-nori"
  volume: "287"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-18625-5"
  kind: "inproceedings"
  key: "ChandyM87"
- title: "Computation Orchestration"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/s10270-006-0012-1"
  links:
    doi: "http://dx.doi.org/10.1007/s10270-006-0012-1"
  researchr: "https://researchr.org/publication/MisraC07"
  cites: 0
  citedby: 0
  journal: "Software and Systems Modeling"
  volume: "6"
  number: "1"
  pages: "83-110"
  kind: "article"
  key: "MisraC07"
- title: "Phase Synchronization"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "1991"
  tags:
  - "synchronization"
  researchr: "https://researchr.org/publication/Misra91%3A1"
  cites: 0
  citedby: 0
  journal: "Inf. Process. Lett."
  volume: "38"
  number: "2"
  pages: "101-105"
  kind: "article"
  key: "Misra91:1"
- title: "A Technique of Algorithm Construction on Sequences"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "1978"
  researchr: "https://researchr.org/publication/Misra78"
  cites: 0
  citedby: 0
  journal: "IEEE Trans. Software Eng."
  volume: "4"
  number: "1"
  pages: "65-69"
  kind: "article"
  key: "Misra78"
- title: "Specifications of Concurrently Accessed Data"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "1989"
  tags:
  - "data-flow"
  researchr: "https://researchr.org/publication/Misra89%3A1"
  cites: 0
  citedby: 0
  pages: "91-114"
  booktitle: "Mathematics of Program Construction, 375th Anniversary of the Groningen University, International Conference, Groningen, The Netherlands, June 26-30, 1989, Proceedings"
  editor:
  - name: "Jan L. A. van de Snepscheut"
    link: "https://researchr.org/alias/jan-l.-a.-van-de-snepscheut"
  volume: "375"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-51305-1"
  kind: "inproceedings"
  key: "Misra89:1"
- title: "Mapping among the nodes of infinite trees: A variation of Kőnig's infinity lemma"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "2015"
  doi: "http://dx.doi.org/10.1016/j.ipl.2015.01.005"
  links:
    doi: "http://dx.doi.org/10.1016/j.ipl.2015.01.005"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/ipl/Misra15"
  researchr: "https://researchr.org/publication/Misra15"
  cites: 0
  citedby: 0
  journal: "Inf. Process. Lett."
  volume: "115"
  number: "5"
  pages: "548-549"
  kind: "article"
  key: "Misra15"
- title: "Toward a theory of maximally concurrent programs (shortened version)"
  author:
  - name: "Rajeev Joshi"
    link: "https://researchr.org/alias/rajeev-joshi"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "2000"
  doi: "http://doi.acm.org/10.1145/343477.343634"
  links:
    doi: "http://doi.acm.org/10.1145/343477.343634"
  researchr: "https://researchr.org/publication/JoshiM00"
  cites: 0
  citedby: 0
  pages: "319-328"
  booktitle: "Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing, July 16-19, 2000, Portland, Oregon, USA"
  editor:
  - name: "Gil Neiger"
    link: "https://researchr.org/alias/gil-neiger"
  publisher: "ACM"
  isbn: "1-58113-183-6"
  kind: "inproceedings"
  key: "JoshiM00"
- title: "Systolic Algorithms as Programs"
  author:
  - name: "K. Mani Chandy"
    link: "https://researchr.org/alias/k.-mani-chandy"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "1986"
  researchr: "https://researchr.org/publication/ChandyM86a"
  cites: 0
  citedby: 0
  journal: "Distributed Computing"
  volume: "1"
  number: "3"
  pages: "177-183"
  kind: "article"
  key: "ChandyM86a"
- title: "Workflow Patterns in Orc"
  author:
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  - name: "Sourabh Patwardhan"
    link: "https://researchr.org/alias/sourabh-patwardhan"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11767954_6"
  abstract: "Van der Aalst recently proposed a set of workflow patterns to characterize the kinds of control flow that appear frequently in workflow processes. These patterns are useful for evaluating the capabilities of workflow systems and models. In this paper we provide implementations of the workflow patterns in Orc, a new process calculus for orchestrating wide-area computations. A key feature of the Orc implementations is that they are expressed as definitions that can be reused as needed. "
  links:
    doi: "http://dx.doi.org/10.1007/11767954_6"
  tags:
  - "control systems"
  - "workflow patterns"
  - "meta-model"
  - "reuse"
  - "data-flow"
  - "Meta-Environment"
  - "workflow"
  - "process modeling"
  researchr: "https://researchr.org/publication/CookPM06"
  cites: 0
  citedby: 1
  pages: "82-96"
  booktitle: "Coordination Models and Languages, 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings"
  editor:
  - name: "Paolo Ciancarini"
    link: "https://researchr.org/alias/paolo-ciancarini"
  - name: "Herbert Wiklicky"
    link: "https://researchr.org/alias/herbert-wiklicky"
  volume: "4038"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-34694-5"
  kind: "inproceedings"
  key: "CookPM06"
- title: "Verified Software: Theories, Tools, Experiments Vision of a Grand Challenge Project"
  author:
  - name: "Tony Hoare"
    link: "https://researchr.org/alias/tony-hoare"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/978-3-540-69149-5_1"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-69149-5_1"
  researchr: "https://researchr.org/publication/HoareM05"
  cites: 0
  citedby: 0
  pages: "1-18"
  booktitle: "Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions"
  editor:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  - name: "Jim Woodcock"
    link: "https://researchr.org/alias/jim-woodcock"
  volume: "4171"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-69147-1"
  kind: "inproceedings"
  key: "HoareM05"
- title: "The Case against a Grand Unification Theory"
  author:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2319/23190328.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2319/23190328.htm"
  researchr: "https://researchr.org/publication/Misra02"
  cites: 0
  citedby: 0
  pages: "328"
  booktitle: "Software Reuse: Methods, Techniques, and Tools, 7th International Conference, ICSR-7, Austin, TX, USA, April 15-19, 2002, Proceedings"
  editor:
  - name: "Cristina Gacek"
    link: "https://researchr.org/alias/cristina-gacek"
  volume: "2319"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43483-6"
  kind: "inproceedings"
  key: "Misra02"
- title: "Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing, Vancouver, B. C., Canada, August 27-29, 1984"
  year: "1984"
  doi: "http://dl.acm.org/citation.cfm?id=800222"
  links:
    doi: "http://dl.acm.org/citation.cfm?id=800222"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/podc/1984"
  researchr: "https://researchr.org/publication/podc-1984"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing, Vancouver, B. C., Canada, August 27-29, 1984"
  conference: "podc"
  editor:
  - name: "Tiko Kameda"
    link: "https://researchr.org/alias/tiko-kameda"
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  - name: "Joseph G. Peters"
    link: "https://researchr.org/alias/joseph-g.-peters"
  - name: "Nicola Santoro"
    link: "https://researchr.org/alias/nicola-santoro"
  publisher: "ACM"
  isbn: "0-89791-143-1"
  kind: "proceedings"
  key: "podc-1984"
- title: "FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings"
  year: "2006"
  researchr: "https://researchr.org/publication/fm%3A2006"
  cites: 0
  citedby: 0
  booktitle: "FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings"
  conference: "FM"
  editor:
  - name: "Jayadev Misra"
    link: "https://www.cs.utexas.edu/~misra/"
  - name: "Tobias Nipkow"
    link: "https://researchr.org/alias/tobias-nipkow"
  - name: "Emil Sekerinski"
    link: "https://researchr.org/alias/emil-sekerinski"
  volume: "4085"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-37215-6"
  kind: "proceedings"
  key: "fm:2006"