- Simulation Modeling and Statistical Computing
- Quicksort, again David Kitchin, Adrian Quark, Jayadev Misra
- Equational Reasoning About Nondeterministic Processes Jayadev Misra
- Making Multiple Copies under possibility of Failure Jayadev Misra
- Maximally Concurrent Programs Rajeev Joshi and Jayadev Misra
- Enumerating the Strings of a Regular Expression Jayadev Misra
- A Constructive Proof of Vizing's Theorem J Misra and David Gries1
- Synthesizing Programs over Recursive Data Ankur Gupta
- Computation Orchestration
- Phase Synchronization Jayadev Misra
- Computation Orchestration: A Basis for Wide-Area Computing
- DEPARTMENT OF COMPUTER SCIENCES Program Structuring
- Tree Isomorphism: An Exercise in Functional Programming Jayadev Misra
- DEPARTMENT OF COMPUTER SCIENCES Semantics of Orc
- A Logic for Concurrent Programming: Safety Jayadev Misra
- A Distributed Graph Algorithm" Knot Detection
- Computation Orchestration
- DEPARTMENT OF COMPUTER SCIENCES Computation Orchestration
- An Example of Stepwise Refinement of Distributed Programs: Quiescence
- Remarks 285 REMARK ON ALGORITHM 246
- SOME CLASSES OF NATURALLY PROVABLE PROGRAMS S. K. Basu and J. Misra
- Computation Orchestration
- A PRINCIPLE OF ALGORITHM DESIGN ON LIMITED PROBLEM DOMAIN Jayadev Misra
- Reducing Satisfiability to Quadratic Programming Jayadev Misra
- A Counting Problem Communicated by Dijkstra Jayadev Misra
- Pairing Integers so that their sums are primes Jayadev Misra
- Programming Techniques and Data Structures
- Overview Orc Notation Examples Structured Application Development over
- Axioms for Memory Access in Asynchronous Hardware Systems
- Dijkstra's Proof of Hall's Theorem Let F a finite family of subsets of elements (family means multiset in this
- On a Thorem Proved by Dijkstra in EWD 967 Jayadev Misra
- Overview Orc Notation Examples Structured Wide-Area Programming
- DEPARTMENT OF COMPUTER SCIENCES Jayadev Misra
- may be used to establish an authenticated connection to be used conventionally. The intrinsic security require-
- A Distributed Algorithm for Detecting Resource Deadlocks in Distributed Systems
- A Rebuttal of Dijkstra's Position on Fairness K. Mani Chandy
- A Foundation of Parallel Programming Jayadev Misra
- A Consensus Protocol in a Prison Jayadev Misra
- DEPARTMENT OF COMPUTER SCIENCES Computation Orchestration
- A Simple Proof of a Simple Consensus Algorithm Jayadev Misra
- Computation Orchestration
- Modular Multiprogramming Jayadev MISRA
- A TREE SEMANTICS OF AN ORCHESTRATION Tony Hoare, Microsoft Research Labs, Cambridge, U.K.
- Computation Orchestration: A Basis for Wide-Area Computing
- An Exercise in Program JAYADEV MISRA
- Some Facts about String Interleaving William Cook and Jayadev Misra; February 17, 2005
- Remarks on Hall's Theorem of Distinct Representatives
- A Property of the Identity Function: An Exercise in Induction Jayadev Misra
- Formal Methods in System Design, 5, 275 (1997) c 1997 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands.
- DEPARTMENT OF COMPUTER SCIENCES Research Strategy Workshop
- An Object Model for Multiprogramming Jayadev Misra
- A Discipline of Multiprogramming: A Programming Theory for Distributed Applications
- DEPARTMENT OF COMPUTER SCIENCES Verified Software: the next step
- Powerlist: A Structure for Parallel Recursion JAYADEV MISRA
- Designing a Calculational Proof of Cantor's Edsger W. Dijkstra and Jayadev Misra
- Sorting The Rows of a Matrix Preserves the Sorted Columns Jayadev Misra
- Distributed Discrete-Event Simulation JAYADEV MISRA
- A Theory of Hints in Model Checking Markus Kaltenbach1
- DEPARTMENT OF COMPUTER SCIENCES Computation Orchestration
- Strategies to Combat Software Piracy JAYADEV MISRA
- This is page 1 Printer: Opaque this
- A Treatment of Boolean Equations and Inequations Jayadev Misra
- Verified software: theories, tools, experiments Vision of a Grand Challenge project
- Orchestration in Orc: A Deterministic Distributed Programming Model
- Derivation of a Parallel String Matching Jayadev Misra
- 25 August 2003 In Memoriam
- Orchestrating Computations on the World-wide Young-ri Choi, Amit Garg, Siddhartha Rai, Jayadev Misra, Harrick Vin
- A walk over the shortest path: Dijkstra's Algorithm viewed as fixed-point computation
- Generating-Functions of Interconnection Jayadev Misra
- Parallel Processing Letters c World Scientific Publishing Company
- Loosely-Coupled Processes Jayadev Misra
- Proofs of Distributed Algorithms: An Exercise K. Mani Chandy
- Specification Structuring Jayadev Misra
- The Drinking Philosophers Problem K. M. CHANDY and J. MISRA
- DETECTING TERMINATION OF DISTRIBUTED COMPUTATIONS USING MARKERS Jayadev Misra
- Distributed Deadlock Detection K. MANI CHANDY and
- PROVING SAFETY AND LIVENESS OF COMMUNICATING PROCESSES WITH EXAMPLES
- Termination Detection of Diffusing Computations in Communicating Sequential
- technical contibutions A SIMPLE MODEL OF DISTRIBUTED PROGRAMS BASED ON
- A puzzle on infinite sequences: An application of Koenig's Lemma Jayadev Misra
- Coloring Grid Points, without Rabbits and Snakes Jayadev Misra
- There are Infinitely Many Primes Jayadev Misra
- Arithmetic Mean is greater than or equal to Geometric Mean Jayadev Misra
- The Muddy Children Puzzle Jayadev Misra
- Rules for Division by 3 and 11 Jayadev Misra
- Minimum Spanning Tree Jayadev Misra
- Russell Paradox, Cantor Diagonalization Jayadev Misra
- Unique Prime Factorization Theorem Jayadev Misra
- Locating the Center of a Set of Points on a Curve Jayadev Misra
- A proof of quiescence of a distributed algorithm, Version 4 Jayadev Misra
- Computing the Spans in a sequence Jayadev Misra
- A Problem due to J Moore Jayadev Misra
- A Note on EWD 1312 Jayadev Misra
- A Puzzle on Block Design Jayadev Misra
- Jayadev Misra Problem Description There are 3 piles of chips. A step consists of removing
- Using Concurrency for Structuring Jayadev Misra
- Should We Teach Formal Methods at All? Jayadev Misra
- Describing Simulations in the Orc Programming David Kitchin, Adrian Quark, Jayadev Misra
- DEPARTMENT OF COMPUTER SCIENCES A Language for Task Orchestration and its Semantic
- DEPARTMENT OF COMPUTER SCIENCES Computation Orchestration
- DEPARTMENT OF COMPUTER SCIENCES Implementation of Orc
- DEPARTMENT OF COMPUTER SCIENCES Distributed Execution
- Orc Notation Structured Wide-Area Programming
- DEPARTMENT OF COMPUTER SCIENCES Computation Orchestration
- A Counting Problem Communicated by Dijkstra Jayadev Misra
- Permutations Generated by a Stack Machine Jayadev Misra
- On the union of well-founded relations: An application of Koenig's Jayadev Misra
- Virtual Time and Timeout in Client-Server Jayadev Misra
- Structured Wide-Area Programming: Orc Programming Examples
- The Burden of Exascale Jayadev Misra
- Structured Wide-Area Programming: Orc Calculus
- Structured Wide-Area Programming: Orc Programming Language
- The Monty Hall game Jayadev Misra
- Processing Boolean Equalities and Inequalities Jayadev Misra
- Processing Boolean Equalities and Inequalities Jayadev Misra
- A Secure Voting Scheme based on Rational Self-Interest
- Assigning Coordinates to Events: Solving Combinatorial problems using Discrete