| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jayadev Misra |
Virtual Time and Timeout in Client-Server Networks - (Extended Abstract).  |
ICTAC  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaozhou Li, Jayadev Misra, C. Greg Plaxton |
Maintaining the Ranch topology. |
J. Parallel Distrib. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | C. A. R. Hoare, Jayadev Misra |
Preface to special issue on software verification. |
ACM Comput. Surv. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | C. A. R. Hoare, Jayadev Misra, Gary T. Leavens, Natarajan Shankar |
The verified software initiative: A manifesto. |
ACM Comput. Surv. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | David Kitchin, Adrian Quark, William R. Cook, Jayadev Misra |
The Orc Programming Language. |
FMOODS/FORTE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Wehrman, David Kitchin, William R. Cook, Jayadev Misra |
A timed semantics of Orc. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | William R. Cook, Jayadev Misra |
Structured Interacting Computations. |
Software-Intensive Systems and New Computing Paradigms |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David Kitchin, Evan Powell, Jayadev Misra |
Simulation Using Orchestration. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David Kitchin, Evan Powell, Jayadev Misra |
Simulation, Orchestration and Logical Clocks. |
FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jayadev Misra, William R. Cook |
Computation Orchestration. |
Software and System Modeling |
2007 |
DBLP DOI BibTeX RDF |
Wide-area computing, Computation orchestration, Thread-based programming, Web services, Distributed computing, Process algebra |
| 1 | Xiaozhou Li, Jayadev Misra, C. Greg Plaxton |
Concurrent Maintenance of Rings. |
Distributed Computing |
2006 |
DBLP DOI BibTeX RDF |
Distributed algorithm, Concurrency, Correctness, Network protocols, Distributed data structures |
| 1 | David Kitchin, William R. Cook, Jayadev Misra |
A Language for Task Orchestration and Its Semantic Properties. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | William R. Cook, Sourabh Patwardhan, Jayadev Misra |
Workflow Patterns in Orc. |
COORDINATION |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jayadev Misra, Tobias Nipkow, Emil Sekerinski (eds.) |
FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings |
FM |
2006 |
DBLP BibTeX RDF |
|
| 1 | Tony Hoare, Jayadev Misra |
Verified Software: Theories, Tools, Experiments Vision of a Grand Challenge Project. |
VSTTE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jayadev Misra |
A Programming Model for the Orchestration of Web Services. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaozhou Li, Jayadev Misra, C. Greg Plaxton |
Active and Concurrent Topology Maintenance. |
DISC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaozhou Li, Jayadev Misra, C. Greg Plaxton |
Brief announcement: concurrent maintenance of rings. |
PODC |
2004 |
DBLP DOI BibTeX RDF |
concurrency, network protocols, ring |
| 1 | Jayadev Misra |
Derivation of a parallel string matching algorithm. |
Inf. Process. Lett. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jayadev Misra, Wolfgang Reisig, Michael Schoettner, Laurent Lefèvre |
Topic Introduction. |
Euro-Par |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Young-ri Choi, Siddhartha Rai, Vinay Sampath Kumar, Jayadev Misra, Harrick M. Vin |
Computing with Distributed Resources. |
JMLC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert S. Boyer, W. H. J. Feijen, David Gries, C. A. R. Hoare, Jayadev Misra, J. Moore, H. Richards |
In memoriam: Edsger W. Dijkstra 1930-2002. |
Commun. ACM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jayadev Misra |
A Simple, Object-Based View of Multiprogramming. |
Formal Methods in System Design |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Young-ri Choi, Amit Garg, Siddhartha Rai, Jayadev Misra, Harrick M. Vin |
Orchestrating Computations on the World-Wide Web. |
Euro-Par |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Kaltenbach, Jayadev Misra |
A Theory of Hints in Model Checking. |
10th Anniversary Colloquium of UNU/IIST |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jayadev Misra |
The Case against a Grand Unification Theory. |
ICSR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jayadev Misra |
A walk over the shortest path: Dijkstra's Algorithm viewed as fixed-point computation. |
Inf. Process. Lett. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jayadev Misra, Harrick M. Vin |
Orchestrating Computations on the World-Wide Web. |
APSEC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jayadev Misra |
A Programming Model for Wide-Area Computing. |
FME |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Joshi, Jayadev Misra |
Maximally Concurrent Programs. |
Formal Asp. Comput. |
2000 |
DBLP DOI BibTeX RDF |
Concurrent program design, Maximal solution, Safety, Progress |
| 1 | Jayadev Misra |
Object-Oriented Programming for Wide-Area Computing. |
FMOODS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Rajeev Joshi, Jayadev Misra |
Toward a theory of maximally concurrent programs (shortened version). |
PODC |
2000 |
DBLP DOI BibTeX RDF |
parallel programs, concurrency |
| 1 | Jayadev Misra |
An Object Model for Multiprogramming. |
IPPS/SPDP Workshops |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Allen Carruth, Jayadev Misra |
Proof of a Real-Time Mutual-Exclusion Algorithm. |
Parallel Processing Letters |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jayadev Misra |
A Discipline of Multiprogramming. |
ACM Comput. Surv. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jayadev Misra |
Powerlist: A Structure for Parallel Recursion. |
ACM Trans. Program. Lang. Syst. |
1994 |
DBLP DOI BibTeX RDF |
Batcher sort, algebra of parallel programs, parallel programs, hypercube, Fast Fourier Transform, recursion, prefix sum |
| 1 | Jayadev Misra, David Gries |
A Constructive Proof of Vizing's Theorem. |
Inf. Process. Lett. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Jayadev Misra |
Corrigenda: Phase Synchronization. |
Inf. Process. Lett. |
1992 |
DBLP BibTeX RDF |
|
| 1 | Jayadev Misra |
Phase Synchronization. |
Inf. Process. Lett. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Jayadev Misra |
Loosely-Coupled Processes. |
PARLE |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Jayadev Misra |
A Perspective on Parallel Program Design. |
Research Directions in High-Level Parallel Programming Languages |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Jayadev Misra |
Equational Reasoning About Nondeterministic Processes. |
Formal Asp. Comput. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Jayadev Misra |
Specifying Concurrent Objects as Communicating Processes. |
Sci. Comput. Program. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Jayadev Misra |
A Simple Proof of a Simple Consensus Algorithm. |
Inf. Process. Lett. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Mani Chandy, Jayadev Misra |
Parallel program design - a foundation. |
|
1989 |
RDF |
|
| 1 | Jayadev Misra |
Equational Reasoning About Nondeterministic Processes. |
PODC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Jayadev Misra |
Specifications of Concurrently Accessed Data. |
MPC |
1989 |
DBLP BibTeX RDF |
|
| 1 | Rajive Bagrodia, K. Mani Chandy, Jayadev Misra |
A Message-Based Approach to Discrete-Event Simulation. |
IEEE Trans. Software Eng. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Mani Chandy, Jayadev Misra |
Parallelism and Programming: A Perspective. |
FSTTCS |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Jayadev Misra |
Axioms for Memory Access in Asynchronous Hardware Systems. |
ACM Trans. Program. Lang. Syst. |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Mani Chandy, Jayadev Misra |
An Example of Stepwise Refinement of Distributed Programs: Quiescence Detection. |
ACM Trans. Program. Lang. Syst. |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Jayadev Misra |
Distributed Discrete-Event Simulation. |
ACM Comput. Surv. |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Mani Chandy, Jayadev Misra |
Systolic Algorithms as Programs. |
Distributed Computing |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Mani Chandy, Jayadev Misra |
How Processes Learn. |
Distributed Computing |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Mani Chandy, Jayadev Misra |
How Processes Learn. |
PODC |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Mani Chandy, Jayadev Misra |
The Drinking Philosopher's Problem. |
ACM Trans. Program. Lang. Syst. |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Jayadev Misra |
Axioms for Memory Access in Asynchronous Hardware Systems. |
Seminar on Concurrency |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiko Kameda, Jayadev Misra, Joseph Peters, Nicola Santoro (eds.) |
Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing, Vancouver, B. C., Canada, August 27-29, 1984 |
PODC |
1984 |
DBLP BibTeX RDF |
|
| 1 | K. Mani Chandy, Jayadev Misra, Laura M. Haas |
Distributed Deadlock Detection |
ACM Trans. Comput. Syst. |
1983 |
DBLP DOI BibTeX RDF |
message communication systems, resource deadlock, distributed deadlock detection, communication deadlock |
| 1 | Jayadev Misra |
Detecting Termination of Distributed Computations Using Markers. |
PODC |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Jayadev Misra, David Gries |
Finding Repeated Elements. |
Sci. Comput. Program. |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Jayadev Misra, K. Mani Chandy |
Termination Detection of Diffusing Computations in Communicating Sequential Processes. |
ACM Trans. Program. Lang. Syst. |
1982 |
DBLP DOI BibTeX RDF |
CSP |
| 1 | Jayadev Misra, K. Mani Chandy |
A Distributed Graph Algorithm: Knot Detection. |
ACM Trans. Program. Lang. Syst. |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Mani Chandy, Jayadev Misra |
Distributed Computation on Graphs: Shortest Path Algorithms. |
Commun. ACM |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Jayadev Misra, K. Mani Chandy, Todd Smith |
Proving Safety and Liveness of Communicating Processes with Examples. |
PODC |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Mani Chandy, Jayadev Misra |
A Distributed Algorithm for Detecting Resource Deadlocks in Distributed Systems. |
PODC |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Mani Chandy, Jayadev Misra, Robert Berry, Doug Neuse |
The use of performance models in systematic design. |
AFIPS National Computer Conference |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Jayadev Misra, K. Mani Chandy |
Proofs of Networks of Processes. |
IEEE Trans. Software Eng. |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Jayadev Misra |
An Exercise in Program Explanation. |
ACM Trans. Program. Lang. Syst. |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Mani Chandy, Jayadev Misra |
Asynchronous Distributed Simulation via a Sequence of Parallel Computations. |
Commun. ACM |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Doug Neuse, K. Mani Chandy, Jayadev Misra, Robert Berry |
A Computer Modeling System Based on a User-Extensible Modeling Library. |
Int. CMG Conference |
1981 |
DBLP BibTeX RDF |
|
| 1 | K. Mani Chandy, Jayadev Misra |
Distributed Simulation: A Case Study in Design and Verification of Distributed Programs. |
IEEE Trans. Software Eng. |
1979 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Mani Chandy, Jayadev Misra |
Deadlock Absence Proofs for Networks of Communicating Processes. |
Inf. Process. Lett. |
1979 |
DBLP DOI BibTeX RDF |
|
| 1 | Jayadev Misra |
Space-Time Trade Off in Implementing Certain Set Operations. |
Inf. Process. Lett. |
1979 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Mani Chandy, Victor Holmes, Jayadev Misra |
Distributed Simulation of Networks. |
Computer Networks |
1979 |
DBLP DOI BibTeX RDF |
|
| 1 | Jayadev Misra |
An Approach to Formal Definitions and Proofs of Programming Principles. |
IEEE Trans. Software Eng. |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | Jayadev Misra |
Some Aspects of the Verification of Loop Computations. |
IEEE Trans. Software Eng. |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | Jayadev Misra |
A Technique of Algorithm Construction on Sequences. |
IEEE Trans. Software Eng. |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries, Jayadev Misra |
A Linear Sieve Algorithm for Finding Prime Numbers. |
Commun. ACM |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | Jayadev Misra |
Prospects and Limitations of Automatic Assertion Generation for Loop Programs. |
SIAM J. Comput. |
1977 |
DBLP DOI BibTeX RDF |
|
| 1 | Sukhamay Kundu, Jayadev Misra |
A Linear Tree Partitioning Algorithm. |
SIAM J. Comput. |
1977 |
DBLP DOI BibTeX RDF |
|
| 1 | Jayadev Misra |
A principle of algorithm design on limited problem domain. |
DAC |
1976 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanat K. Basu, Jayadev Misra |
Some Classes of Naturally Provable Programs. |
ICSE |
1976 |
DBLP BibTeX RDF |
|
| 1 | Sanat K. Basu, Jayadev Misra |
Proving Loop Programs. |
IEEE Trans. Software Eng. |
1975 |
DBLP BibTeX RDF |
|
| 1 | Jayadev Misra, Robert Endre Tarjan |
Optimal Chain Partitions of Trees. |
Inf. Process. Lett. |
1975 |
DBLP DOI BibTeX RDF |
|
| 1 | Jayadev Misra |
Remark on "Algorithm 246: Graycode [Z]". |
ACM Trans. Math. Softw. |
1975 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")