×

zbMATH — the first resource for mathematics

Misra, Jayadev

Compute Distance To:
Author ID: misra.jayadev Recent zbMATH articles by "Misra, Jayadev"
Published as: Misra, Jayadev; Misra, J.
Documents Indexed: 58 Publications since 1974, including 4 Books

Publications by Year

Citations contained in zbMATH Open

40 Publications have been cited 511 times in 442 Documents Cited by Year
Parallel program design. A foundation. Zbl 0717.68034
Chandy, K. Mani; Misra, Jayadev
169
1988
Proofs of networks of processes. Zbl 0468.68030
Misra, Jayadev; Chandy, K. Mani
43
1981
How processes learn. Zbl 0602.68026
Chandy, K. M.; Misra, Jayadev
41
1986
Finding repeated elements. Zbl 0497.68041
Misra, J.; Gries, David
33
1982
A linear tree partitioning algorithm. Zbl 0346.68020
Kundu, Sukhamay; Misra, Jayadev
19
1977
A constructive proof of Vizing’s theorem. Zbl 0795.68157
Misra, J.; Gries, David
19
1992
Axioms for memory access in asynchronous hardware systems. Zbl 0593.68017
Misra, J.
17
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
Distributed simulation: A case study in design and verification of distributed programs. Zbl 0416.68014
Chandy, K. Mani; Misra, Jayadev
13
1979
A timed semantics of Orc. Zbl 1147.68436
Wehrman, Ian; Kitchin, David; Cook, William R.; Misra, Jayadev
13
2008
A discipline of multiprogramming. Programming theory for distributed applications. Zbl 0999.68121
Misra, Jayadev
11
2001
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
The Orc programming language. Zbl 1217.68049
Kitchin, David; Quark, Adrian; Cook, William; Misra, Jayadev
10
2009
Active and concurrent topology maintenance. Zbl 1110.68324
Li, Xiaozhou; Misra, Jayadev; Plaxton, C. Greg
8
2004
A distributed graph algorithm: Knot detection. Zbl 0489.68061
Misra, J.; Chandy, K. M.
8
1982
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
4
1978
Termination detection of diffusing computations in communicating sequential processes. Zbl 0479.68025
Misra, Jayadev; Chandy, K. M.
4
1982
Systolic algorithms as programs. Zbl 0609.68024
Chandy, K. Mani; Misra, J.
3
1986
Some aspects of the verification of loop computations. Zbl 0392.68011
Misra, Jayadev
3
1978
Concurrent maintenance of rings. Zbl 1266.68039
Li, Xiaozhou; Misra, Jayadev; Plaxton, C. Greg.
3
2006
A walk over the shortest path: Dijkstra’s algorithm viewed as fixed-point computation. Zbl 1050.68166
Misra, Jayadev
2
2001
A paradigm for detecting quiescent properties in distributed computations. Zbl 0578.68022
Chandy, K. Mani; Misra, Jayadev
2
1985
Simulation using orchestration. (Extended abstract). Zbl 1170.68643
Kitchin, David; Powell, Evan; Misra, Jayadev
2
2008
Equational reasoning about nondeterministic processes. Zbl 0697.68088
Misra, Jayadev
2
1990
Beauty is our business. A birthday salute to Edsger W. Dijkstra. Zbl 0718.68004
Feijen, W. H. J. (ed.); van Gasteren, A. J. M. (ed.); Gries, David (ed.); Misra, J. (ed.)
2
1990
Prospects and limitations of automatic assertion generation for loop programs. Zbl 0366.68003
Misra, Jayadev
2
1977
A simple, object-based view of multiprogramming. Zbl 0989.68024
Misra, Jayadev
1
2002
Derivation of a parallel string matching algorithm. Zbl 1173.68469
Misra, Jayadev
1
2003
Quicksort: combining concurrency, recursion, and mutable data structures. Zbl 1217.68070
Kitchin, David; Quark, Adrian; Misra, Jayadev
1
2010
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
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
Toward a theory of maximally concurrent programs (shortened version). Zbl 1314.68198
Joshi, Rajeev; Misra, Jayadev
1
2000
A denotational semantic theory of concurrent systems. Zbl 1321.68362
Misra, Jayadev
1
2015
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
Mapping among the nodes of infinite trees: a variation of Kőnig’s infinity lemma. Zbl 1328.05049
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
10
2009
A timed semantics of Orc. Zbl 1147.68436
Wehrman, Ian; Kitchin, David; Cook, William R.; Misra, Jayadev
13
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
19
1992
Phase synchronization. Zbl 0737.68032
Misra, Jayadev
7
1991
Equational reasoning about nondeterministic processes. Zbl 0697.68088
Misra, Jayadev
2
1990
Beauty is our business. A birthday salute to Edsger W. Dijkstra. Zbl 0718.68004
Feijen, W. H. J.; van Gasteren, A. J. M.; Gries, David; Misra, J.
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
169
1988
How processes learn. Zbl 0602.68026
Chandy, K. M.; Misra, Jayadev
41
1986
Axioms for memory access in asynchronous hardware systems. Zbl 0593.68017
Misra, J.
17
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
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
33
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.
8
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
43
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
4
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
19
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 773 Authors

15 Hesselink, Wim H.
13 Misra, Jayadev
7 Meseguer Guaita, José
6 Halpern, Joseph Yehuda
6 Moses, Yoram
5 Chandy, Kanianthra Mani
5 Parikh, Rohit
5 Taubenfeld, Gadi
4 Fiadeiro, José Luiz
4 Futatsugi, Kokichi
4 Gabarró, Joaquim
4 Grumberg, Orna
4 He, Meng
4 Hedetniemi, Stephen Travis
4 Munro, J. Ian
4 Singh, Ambuj K.
4 Tirthapura, Srikanta
4 Wu, Bang Ye
3 Attie, Paul C.
3 Ben-Zvi, Ido
3 Benveniste, Albert
3 Chao, Kunmao
3 Clarke, Dave
3 Collette, Pierre
3 Costa, José Félix
3 Fagin, Ronald
3 Francez, Nissim
3 Gagie, Travis
3 Gouda, Mohamed G.
3 Groote, Jan Friso
3 Hoare, C. A. R. Tony
3 Jonsson, Bengt
3 Lahiri, Bibudh
3 Liu, Zhiming
3 McIver, Annabelle K.
3 Namjoshi, Kedar S.
3 Navarro, Gonzalo
3 Olderog, Ernst-Rüdiger
3 Phillips, Jeff M.
3 Prasetya, I. S. W. B.
3 Roscoe, Andrew William
3 Sanders, Beverly A.
3 Serna, Maria José
3 Sifakis, Joseph
3 Swierstra, S. Doaitse
3 Zhang, Qin
2 Abdulla, Parosh Aziz
2 Adamatzky, Andrew I.
2 Ahrendt, Wolfgang
2 Anderson, James H.
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 Cafaro, Massimo
2 Charron-Bost, Bernadette
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 Filali, Mamoun
2 Fix, Limor
2 Freiling, Felix C.
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 Ito, Takehiro
2 Iyengar, Sundaraja Sitharama
2 Januario, Tiago
2 Jard, Claude
2 Jin, Zemin
2 Joseph, Mathai
2 Kindler, Ekkart
2 Kitchin, David
2 Knapp, Edgar
2 Kok, Joost N.
2 Krasucki, Paul
2 Kshemkalyani, Ajay D.
2 Kurki-Suonio, Reino
2 Lanese, Ivan
2 Lee, Lap-Kei
...and 673 more Authors
all top 5

Cited in 87 Serials

63 Theoretical Computer Science
42 Information Processing Letters
41 Formal Aspects of Computing
39 Distributed Computing
16 Acta Informatica
14 Discrete Applied Mathematics
12 Formal Methods in System Design
10 Science of Computer Programming
9 Algorithmica
7 The Journal of Logic and Algebraic Programming
6 Information Sciences
6 Information and Computation
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
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 International Journal of Computer & Information Sciences
2 Journal of Combinatorial Theory. Series B
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 Sādhanā
2 Discrete Mathematics, Algorithms and Applications
1 Discrete Mathematics
1 ACM Transactions on Database Systems
1 Chaos, Solitons and Fractals
1 Applied Mathematics and Computation
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 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 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

Citations by Year