×

zbMATH — the first resource for mathematics

Morris, Joseph M.

Compute Distance To:
Author ID: morris.joseph-m Recent zbMATH articles by "Morris, Joseph M."
Published as: Morris, Joseph M.; Morris, J.; Morris, J. M.; Morris, Joseph
Documents Indexed: 33 Publications since 1929, including 2 Books

Publications by Year

Citations contained in zbMATH Open

16 Publications have been cited 88 times in 72 Documents Cited by Year
A theoretical basis for stepwise refinement and the programming calculus. Zbl 0624.68017
Morris, Joseph M.
39
1987
Laws of data refinement. Zbl 0661.68018
Morris, Joseph M.
11
1989
A starvation-free solution to the mutual exclusion problem. Zbl 0397.68036
Morris, Joseph M.
9
1979
Augmenting types with unbounded demonic and angelic nondeterminacy. Zbl 1106.68344
Morris, Joseph M.
4
2004
Traversing binary trees simply and cheaply. Zbl 0422.68028
Morris, Joseph M.
4
1979
Nonlinear and direction-dependent dynamic process modelling using neural networks. Zbl 0850.93182
Turner, P.; Montague, G.; Morris, J.
3
1996
The escalator method in engineering vibration problems. Zbl 0029.14803
Morris, Joseph
3
1947
Temporal predicate transformers and fair termination. Zbl 0672.68006
Morris, Joseph M.
3
1990
A source of inconsistency in theories of nondeterministic functions. Zbl 1004.68036
Morris, J. M.; Bunkenburg, A.
2
2002
Terms with unbounded demonic and angelic nondeterminacy. Zbl 1106.68024
Morris, Joseph M.; Tyrrell, Malcolm
2
2007
Dual unbounded nondeterminacy, recursion, and fixpoints. Zbl 1127.68018
Morris, Joseph M.; Tyrrell, Malcolm
2
2007
Modelling higher-order dual nondeterminacy. Zbl 1160.68006
Morris, Joseph M.; Tyrrell, Malcolm
2
2008
A lattice-theoretic model for an algebra of communicating sequential processes. Zbl 1168.68439
Tyrrell, Malcolm; Morris, Joseph M.; Butterfield, Andrew; Hughes, Arthur
1
2006
E3: A logic for reasoning equationally in the presence of partiality. Zbl 0939.68107
Morris, Joseph M.; Bunkenburg, Alexander
1
1999
Partiality and nondeterminacy in program proofs. Zbl 0910.68031
Morris, Joseph M.; Bunkenburg, Alexander
1
1998
A general axiom of assignment. Zbl 0525.68003
Morris, Joseph M.
1
1982
Modelling higher-order dual nondeterminacy. Zbl 1160.68006
Morris, Joseph M.; Tyrrell, Malcolm
2
2008
Terms with unbounded demonic and angelic nondeterminacy. Zbl 1106.68024
Morris, Joseph M.; Tyrrell, Malcolm
2
2007
Dual unbounded nondeterminacy, recursion, and fixpoints. Zbl 1127.68018
Morris, Joseph M.; Tyrrell, Malcolm
2
2007
A lattice-theoretic model for an algebra of communicating sequential processes. Zbl 1168.68439
Tyrrell, Malcolm; Morris, Joseph M.; Butterfield, Andrew; Hughes, Arthur
1
2006
Augmenting types with unbounded demonic and angelic nondeterminacy. Zbl 1106.68344
Morris, Joseph M.
4
2004
A source of inconsistency in theories of nondeterministic functions. Zbl 1004.68036
Morris, J. M.; Bunkenburg, A.
2
2002
E3: A logic for reasoning equationally in the presence of partiality. Zbl 0939.68107
Morris, Joseph M.; Bunkenburg, Alexander
1
1999
Partiality and nondeterminacy in program proofs. Zbl 0910.68031
Morris, Joseph M.; Bunkenburg, Alexander
1
1998
Nonlinear and direction-dependent dynamic process modelling using neural networks. Zbl 0850.93182
Turner, P.; Montague, G.; Morris, J.
3
1996
Temporal predicate transformers and fair termination. Zbl 0672.68006
Morris, Joseph M.
3
1990
Laws of data refinement. Zbl 0661.68018
Morris, Joseph M.
11
1989
A theoretical basis for stepwise refinement and the programming calculus. Zbl 0624.68017
Morris, Joseph M.
39
1987
A general axiom of assignment. Zbl 0525.68003
Morris, Joseph M.
1
1982
A starvation-free solution to the mutual exclusion problem. Zbl 0397.68036
Morris, Joseph M.
9
1979
Traversing binary trees simply and cheaply. Zbl 0422.68028
Morris, Joseph M.
4
1979
The escalator method in engineering vibration problems. Zbl 0029.14803
Morris, Joseph
3
1947
all top 5

Cited by 94 Authors

7 Morgan, Carroll C.
6 Hesselink, Wim H.
5 Back, Ralph-Johan
4 Hayes, Ian J.
3 Cavalcanti, Ana
3 Sere, Kaisa
3 Woodcock, James C. P.
2 Aravind, Alex A.
2 Colvin, Robert J.
2 Fenner, Trevor I.
2 Foster, Simon
2 Gardiner, Paul H. B.
2 He, Jifeng
2 Hoare, C. A. R. Tony
2 Kok, Joost N.
2 Meinicke, Larissa A.
2 Morris, Joseph M.
2 Naumann, David A.
2 Singh, Ambuj K.
2 Tyrrell, Malcolm
2 von Wright, Joakim
2 Yakhnis, Alexander
2 Yakhnis, Vladimir
1 Abrial, Jean-Raymond
1 Annot, J. K.
1 Berghammer, Rudolf
1 Bijlsma, Lex
1 Bonsangue, Marcello Maria
1 Boudriga, Noureddine A.
1 Burch, Jerry R.
1 Canham, Samuel
1 Chandy, Kanianthra Mani
1 Chin-Bing, Stanley A.
1 Curtis, Sharon A.
1 Elloumi, Fathi
1 Friedberg, Stuart A.
1 Go, Brian
1 Goldfarb, Donald
1 Gordon, Dan
1 Gravell, Andrew M.
1 Gritzner, Thomas F.
1 Hedman, Eric J.
1 Hekanaho, J.
1 Hoang, Thai Son
1 Höfner, Peter
1 Huth, Michael R. A.
1 IJbema, Mark
1 Janssens, M. D.
1 Jhwueng, Dwueng-Chwuan
1 Jones, Cliff B.
1 King, Steve F.
1 Långbacka, Thomas
1 Leino, K. Rustan M.
1 Lubachevsky, Boris D.
1 Lukkien, Johan J.
1 Luostarinen, P.
1 Lutz, Earlin D.
1 Martin, Alain J.
1 Martin, Clare E.
1 McIver, Annabelle K.
1 Mili, Ali
1 Mitra, Sayan
1 Morton, Wilmari
1 Naish, Lee
1 Oliveira, Marcel
1 Overbeek, Ross A.
1 Pang, Jun
1 Peterson, Gary L.
1 Pilotto, Concetta
1 Pradhan, Shekhar
1 Ribeiro, Pedro
1 Ruge, Peter
1 Sampaio, Augusto C. A.
1 Scholefield, David
1 Sekerinski, Emil
1 Sloane, Anthony M.
1 Søndergaard, Harald
1 Susatyo, E.
1 Tchier, Fairouz
1 Tuch, Harvey
1 van Alten, Clint J.
1 Van de Goor, A. J.
1 van de Snepscheut, Jan L. A.
1 van Glabbek, Rob
1 Wang, Yunfeng
1 Werby, Michael F.
1 White, Jerome
1 Winter, Kirsten
1 Yang, Zhaohui
1 Yessenov, Kuat
1 Zedan, H. S. M.
1 Zeyda, Frank
1 Zha, Ming
1 Zheng, Guoliang

Citations by Year