×
Compute Distance To:
Author ID: misra.jayadev Recent zbMATH articles by "Misra, Jayadev"
Published as: Misra, Jayadev; Misra, J.

Publications by Year

Citations contained in zbMATH Open

41 Publications have been cited 539 times in 466 Documents Cited by Year
Parallel program design. A foundation. Zbl 0717.68034
Chandy, K. Mani; Misra, Jayadev
170
1988
Proofs of networks of processes. Zbl 0468.68030
Misra, Jayadev; Chandy, K. Mani
46
1981
How processes learn. Zbl 0602.68026
Chandy, K. M.; Misra, Jayadev
45
1986
Finding repeated elements. Zbl 0497.68041
Misra, J.; Gries, David
40
1982
A constructive proof of Vizing’s theorem. Zbl 0795.68157
Misra, J.; Gries, David
21
1992
A linear tree partitioning algorithm. Zbl 0346.68020
Kundu, Sukhamay; Misra, Jayadev
21
1977
Axioms for memory access in asynchronous hardware systems. Zbl 0593.68017
Misra, J.
18
1986
A language for task orchestration and its semantic properties. Zbl 1151.68360
Kitchin, David; Cook, William R.; Misra, Jayadev
17
2006
Distributed computation on graphs: shortest path algorithms. Zbl 0491.68064
Chandy, K. M.; Misra, J.
16
1982
A timed semantics of Orc. Zbl 1147.68436
Wehrman, Ian; Kitchin, David; Cook, William R.; Misra, Jayadev
14
2008
Distributed simulation: A case study in design and verification of distributed programs. Zbl 0416.68014
Chandy, K. Mani; Misra, Jayadev
13
1979
A discipline of multiprogramming. Programming theory for distributed applications. Zbl 0999.68121
Misra, Jayadev
11
2001
The Orc programming language. Zbl 1217.68049
Kitchin, David; Quark, Adrian; Cook, William; Misra, Jayadev
11
2009
Optimal chain partitions of trees. Zbl 0321.68029
Misra, Jayadev; Tarjan, R. Endre
11
1975
Deadlock absence proofs for networks of communicating processes. Zbl 0456.68030
Chandy, K. M.; Misra, J.
11
1979
A distributed graph algorithm: Knot detection. Zbl 0489.68061
Misra, J.; Chandy, K. M.
9
1982
Active and concurrent topology maintenance. Zbl 1110.68324
Li, Xiaozhou; Misra, Jayadev; Plaxton, C. Greg
8
2004
Phase synchronization. Zbl 0737.68032
Misra, Jayadev
7
1991
An example of stepwise refinement of distributed programs: quiescence detection. Zbl 0598.68031
Chandy, Mani; Misra, Jayadev
6
1986
A linear sieve algorithm for finding prime numbers. Zbl 0387.68030
Gries, David; Misra, Jayadev
5
1978
Equational reasoning about nondeterministic processes. Zbl 0697.68088
Misra, Jayadev
4
1990
Termination detection of diffusing computations in communicating sequential processes. Zbl 0479.68025
Misra, Jayadev; Chandy, K. M.
4
1982
Some aspects of the verification of loop computations. Zbl 0392.68011
Misra, Jayadev
3
1978
Systolic algorithms as programs. Zbl 0609.68024
Chandy, K. Mani; Misra, J.
3
1986
Concurrent maintenance of rings. Zbl 1266.68039
Li, Xiaozhou; Misra, Jayadev; Plaxton, C. Greg.
3
2006
Simulation using orchestration. (Extended abstract). Zbl 1170.68643
Kitchin, David; Powell, Evan; Misra, Jayadev
2
2008
Prospects and limitations of automatic assertion generation for loop programs. Zbl 0366.68003
Misra, Jayadev
2
1977
Beauty is our business. A birthday salute to Edsger W. Dijkstra. Zbl 0718.68004
2
1990
Axioms for memory access in asynchronous hardware systems. Zbl 0568.68023
Misra, J.
2
1985
A paradigm for detecting quiescent properties in distributed computations. Zbl 0578.68022
Chandy, K. Mani; Misra, Jayadev
2
1985
A walk over the shortest path: Dijkstra’s algorithm viewed as fixed-point computation. Zbl 1050.68166
Misra, Jayadev
2
2001
Some classes of naturally provable programs. Zbl 0362.68034
Basu, S. K.; Misra, J.
1
1976
An approach to formal definitions and proofs of programming principles. Zbl 0385.68011
Misra, Jayadev
1
1978
Quicksort: combining concurrency, recursion, and mutable data structures. Zbl 1217.68070
Kitchin, David; Quark, Adrian; Misra, Jayadev
1
2010
Derivation of a parallel string matching algorithm. Zbl 1173.68469
Misra, Jayadev
1
2003
Mapping among the nodes of infinite trees: a variation of Kőnig’s infinity lemma. Zbl 1328.05049
Misra, Jayadev
1
2015
A denotational semantic theory of concurrent systems. Zbl 1321.68362
Misra, Jayadev
1
2015
Specifying concurrent objects as communicating processes. Zbl 0707.68057
Misra, Jayadev
1
1990
A simple proof of a simple consensus algorithm. Zbl 0684.68021
Misra, Jayadev
1
1989
A simple, object-based view of multiprogramming. Zbl 0989.68024
Misra, Jayadev
1
2002
Toward a theory of maximally concurrent programs (shortened version). Zbl 1314.68198
Joshi, Rajeev; Misra, Jayadev
1
2000
Mapping among the nodes of infinite trees: a variation of Kőnig’s infinity lemma. Zbl 1328.05049
Misra, Jayadev
1
2015
A denotational semantic theory of concurrent systems. Zbl 1321.68362
Misra, Jayadev
1
2015
Quicksort: combining concurrency, recursion, and mutable data structures. Zbl 1217.68070
Kitchin, David; Quark, Adrian; Misra, Jayadev
1
2010
The Orc programming language. Zbl 1217.68049
Kitchin, David; Quark, Adrian; Cook, William; Misra, Jayadev
11
2009
A timed semantics of Orc. Zbl 1147.68436
Wehrman, Ian; Kitchin, David; Cook, William R.; Misra, Jayadev
14
2008
Simulation using orchestration. (Extended abstract). Zbl 1170.68643
Kitchin, David; Powell, Evan; Misra, Jayadev
2
2008
A language for task orchestration and its semantic properties. Zbl 1151.68360
Kitchin, David; Cook, William R.; Misra, Jayadev
17
2006
Concurrent maintenance of rings. Zbl 1266.68039
Li, Xiaozhou; Misra, Jayadev; Plaxton, C. Greg.
3
2006
Active and concurrent topology maintenance. Zbl 1110.68324
Li, Xiaozhou; Misra, Jayadev; Plaxton, C. Greg
8
2004
Derivation of a parallel string matching algorithm. Zbl 1173.68469
Misra, Jayadev
1
2003
A simple, object-based view of multiprogramming. Zbl 0989.68024
Misra, Jayadev
1
2002
A discipline of multiprogramming. Programming theory for distributed applications. Zbl 0999.68121
Misra, Jayadev
11
2001
A walk over the shortest path: Dijkstra’s algorithm viewed as fixed-point computation. Zbl 1050.68166
Misra, Jayadev
2
2001
Toward a theory of maximally concurrent programs (shortened version). Zbl 1314.68198
Joshi, Rajeev; Misra, Jayadev
1
2000
A constructive proof of Vizing’s theorem. Zbl 0795.68157
Misra, J.; Gries, David
21
1992
Phase synchronization. Zbl 0737.68032
Misra, Jayadev
7
1991
Equational reasoning about nondeterministic processes. Zbl 0697.68088
Misra, Jayadev
4
1990
Beauty is our business. A birthday salute to Edsger W. Dijkstra. Zbl 0718.68004
2
1990
Specifying concurrent objects as communicating processes. Zbl 0707.68057
Misra, Jayadev
1
1990
A simple proof of a simple consensus algorithm. Zbl 0684.68021
Misra, Jayadev
1
1989
Parallel program design. A foundation. Zbl 0717.68034
Chandy, K. Mani; Misra, Jayadev
170
1988
How processes learn. Zbl 0602.68026
Chandy, K. M.; Misra, Jayadev
45
1986
Axioms for memory access in asynchronous hardware systems. Zbl 0593.68017
Misra, J.
18
1986
An example of stepwise refinement of distributed programs: quiescence detection. Zbl 0598.68031
Chandy, Mani; Misra, Jayadev
6
1986
Systolic algorithms as programs. Zbl 0609.68024
Chandy, K. Mani; Misra, J.
3
1986
Axioms for memory access in asynchronous hardware systems. Zbl 0568.68023
Misra, J.
2
1985
A paradigm for detecting quiescent properties in distributed computations. Zbl 0578.68022
Chandy, K. Mani; Misra, Jayadev
2
1985
Finding repeated elements. Zbl 0497.68041
Misra, J.; Gries, David
40
1982
Distributed computation on graphs: shortest path algorithms. Zbl 0491.68064
Chandy, K. M.; Misra, J.
16
1982
A distributed graph algorithm: Knot detection. Zbl 0489.68061
Misra, J.; Chandy, K. M.
9
1982
Termination detection of diffusing computations in communicating sequential processes. Zbl 0479.68025
Misra, Jayadev; Chandy, K. M.
4
1982
Proofs of networks of processes. Zbl 0468.68030
Misra, Jayadev; Chandy, K. Mani
46
1981
Distributed simulation: A case study in design and verification of distributed programs. Zbl 0416.68014
Chandy, K. Mani; Misra, Jayadev
13
1979
Deadlock absence proofs for networks of communicating processes. Zbl 0456.68030
Chandy, K. M.; Misra, J.
11
1979
A linear sieve algorithm for finding prime numbers. Zbl 0387.68030
Gries, David; Misra, Jayadev
5
1978
Some aspects of the verification of loop computations. Zbl 0392.68011
Misra, Jayadev
3
1978
An approach to formal definitions and proofs of programming principles. Zbl 0385.68011
Misra, Jayadev
1
1978
A linear tree partitioning algorithm. Zbl 0346.68020
Kundu, Sukhamay; Misra, Jayadev
21
1977
Prospects and limitations of automatic assertion generation for loop programs. Zbl 0366.68003
Misra, Jayadev
2
1977
Some classes of naturally provable programs. Zbl 0362.68034
Basu, S. K.; Misra, J.
1
1976
Optimal chain partitions of trees. Zbl 0321.68029
Misra, Jayadev; Tarjan, R. Endre
11
1975
all top 5

Cited by 817 Authors

15 Hesselink, Wim H.
13 Misra, Jayadev
8 Moses, Yoram
7 Meseguer Guaita, José
6 Halpern, Joseph Yehuda
5 Chandy, Kanianthra Mani
5 Gabarró, Joaquim
5 He, Meng
5 Parikh, Rohit
5 Taubenfeld, Gadi
4 Fiadeiro, José Luiz
4 Futatsugi, Kokichi
4 Gagie, Travis
4 Grumberg, Orna
4 Hedetniemi, Stephen Travis
4 Jonsson, Bengt
4 Munro, J. Ian
4 Navarro, Gonzalo
4 Singh, Ambuj K.
4 Tirthapura, Srikanta
4 Wu, Bang Ye
3 Anderson, James H.
3 Attie, Paul C.
3 Ben-Zvi, Ido
3 Benveniste, Albert
3 Cafaro, Massimo
3 Chao, Kunmao
3 Charron-Bost, Bernadette
3 Clarke, Dave
3 Collette, Pierre
3 Costa, José Félix
3 Fagin, Ronald
3 Francez, Nissim
3 Gouda, Mohamed G.
3 Groote, Jan Friso
3 Hoare, C. A. R. Tony
3 Kok, Joost N.
3 Lahiri, Bibudh
3 Liu, Yang
3 Liu, Zhiming
3 McIver, Annabelle K.
3 Namjoshi, Kedar S.
3 Olderog, Ernst-Rüdiger
3 Phillips, Jeff M.
3 Prasetya, I. S. W. B.
3 Pulimeno, Marco
3 Roscoe, Andrew William
3 Sanders, Beverly A.
3 Serna Iglesias, Maria José
3 Sifakis, Joseph
3 Stewart, Alan
3 Sun, Jun
3 Swierstra, S. Doaitse
3 Zhang, Qin
2 Abdulla, Parosh Aziz
2 Adamatzky, Andrew I.
2 Ahrendt, Wolfgang
2 Aravind, Alex A.
2 Arora, Anish
2 Back, Ralph-Johan
2 Bensalem, Saddek
2 Bougé, Luc
2 Boukerche, Azzedine
2 Bozga, Marius
2 Brookes, Stephen D.
2 Bruni, Roberto
2 Carneiro, Alan Diêgo Aurélio
2 Chaudhuri, Pranay Kumar
2 Chu, An-Chiang
2 Cook, William R.
2 Datta, Ajoy Kumar
2 Datta, Anupam
2 de Figueiredo, Celina M. Herrera
2 de Roever, Willem-Paul
2 Dederichs, Frank
2 Dijkstra, Rutger M.
2 Dong, JinSong
2 Dongol, Brijesh
2 Dubois, Swan
2 Emek, Yuval
2 Epicoco, Italo
2 Filali, Mamoun
2 Fix, Limor
2 Freiling, Felix C.
2 Gold, Robert
2 Gries, David
2 Guerra, Hélia
2 Han, Yijie
2 He, Jifeng
2 Hedetniemi, Sandra Lee Mitchell
2 Herman, Ted
2 Hoang, Thai Son
2 Hooman, Jozef Johannes Maria
2 Huang, Zengfeng
2 Ito, Takehiro
2 Iyengar, Sundaraja Sitharama
2 Januario, Tiago
2 Jard, Claude
2 Jin, Zemin
2 Joseph, Mathai
...and 717 more Authors
all top 5

Cited in 92 Serials

64 Theoretical Computer Science
42 Information Processing Letters
41 Formal Aspects of Computing
40 Distributed Computing
16 Acta Informatica
14 Discrete Applied Mathematics
12 Formal Methods in System Design
10 Science of Computer Programming
9 Algorithmica
7 Information Sciences
7 Information and Computation
7 The Journal of Logic and Algebraic Programming
5 Journal of Computer and System Sciences
5 International Journal of Foundations of Computer Science
5 Journal of Combinatorial Optimization
5 Journal of Logical and Algebraic Methods in Programming
4 Journal of Computer Science and Technology
4 Journal of Parallel and Distributed Computing
3 Computers & Mathematics with Applications
3 Journal of Combinatorial Theory. Series B
3
3 International Journal of Parallel Programming
3 MSCS. Mathematical Structures in Computer Science
3 European Journal of Operational Research
3 Theory of Computing Systems
3 Journal of Discrete Algorithms
2 Artificial Intelligence
2 Discrete Mathematics
2 International Journal of Computer & Information Sciences
2 Networks
2 SIAM Journal on Computing
2 Annals of Pure and Applied Logic
2 Optimization
2 Journal of Symbolic Computation
2 Computers & Operations Research
2 Journal of Automated Reasoning
2 International Journal of Computer Mathematics
2 Annals of Mathematics and Artificial Intelligence
2 ACM Transactions on Modeling and Computer Simulation
2 Wuhan University Journal of Natural Sciences (WUJNS)
2 Data Mining and Knowledge Discovery
2 Journal of Machine Learning Research (JMLR)
2 Sādhanā
2 Discrete Mathematics, Algorithms and Applications
1 ACM Transactions on Database Systems
1 Chaos, Solitons and Fractals
1 Applied Mathematics and Computation
1 Automatica
1 BIT
1 Computing
1 Journal of Economic Theory
1 Journal of Philosophical Logic
1 Journal of Soviet Mathematics
1 Kybernetes
1 Synthese
1 Cybernetics
1 Journal of Information & Optimization Sciences
1 Systems & Control Letters
1 Combinatorica
1 International Journal of Intelligent Systems
1 International Journal of Approximate Reasoning
1 Annals of Operations Research
1 Real-Time Systems
1 Random Structures & Algorithms
1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
1 Neural Computation
1 Computational Geometry
1 Journal of Global Optimization
1 Discrete Event Dynamic Systems
1 The Journal of Supercomputing
1 Archive for Mathematical Logic
1 Foundations of Computing and Decision Sciences
1 Journal of Logic, Language and Information
1 Applied Mathematics. Series B (English Edition)
1 Journal of Applied Non-Classical Logics
1 International Journal of Computational Fluid Dynamics
1 Differential Equations and Dynamical Systems
1 Journal of the ACM
1 Annals of Combinatorics
1 Mathematical and Computer Modelling of Dynamical Systems
1 Communications in Nonlinear Science and Numerical Simulation
1 JP Journal of Algebra, Number Theory and Applications
1 JMMA. Journal of Mathematical Modelling and Algorithms
1 Computational Biology and Chemistry
1 Journal of Applied Logic
1 International Journal of Parallel, Emergent and Distributed Systems
1 Statistical Analysis and Data Mining
1 Algorithms
1 Science China. Information Sciences
1 Formalized Mathematics
1 Frontiers of Computer Science
1 Computer Science Review

Citations by Year