- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| j19 |      | Joseph M. Morris, Alexander Bunkenburg, Malcolm Tyrrell: Term transformers: A new approach to state. ACM Trans. Program. Lang. Syst. 31(4) (2009) |
| 2008 | ||
| j18 | | Joseph M. Morris, Malcolm Tyrrell: Modelling higher-order dual nondeterminacy. Acta Inf. 45(6): 441-465 (2008) |
| j17 | | Joseph M. Morris, Malcolm Tyrrell: Dually nondeterministic functions. ACM Trans. Program. Lang. Syst. 30(6) (2008) |
| 2007 | ||
| j16 | | Joseph M. Morris, Malcolm Tyrrell: Dual unbounded nondeterminacy, recursion, and fixpoints. Acta Inf. 44(5): 323-344 (2007) |
| j15 | | Joseph M. Morris, Malcolm Tyrrell: Terms with unbounded demonic and angelic nondeterminacy. Sci. Comput. Program. 65(2): 159-172 (2007) |
| c4 | | |
| 2006 | ||
| c3 | | Malcolm Tyrrell, Joseph M. Morris, Andrew Butterfield, Arthur Hughes: A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes. ICTAC 2006: 123-137 |
| 2005 | ||
| c2 | | Gareth Carter, Rosemary Monahan, Joseph M. Morris: Software Refinement with Perfect Developer. SEFM 2005: 363-373 |
| 2004 | ||
| c1 | | Joseph M. Morris: Augmenting Types with Unbounded Demonic and Angelic Nondeterminacy. MPC 2004: 274-288 |
| 2003 | ||
| e1 |  | Joseph M. Morris, Benjamin Aziz, Frédéric Oehl (Eds.): 6th International Workshop on Formal Methods, IWFM 2003, Dublin City University. 11 July, 2003. Workshops in Computing, BCS 2003 |
| 2002 | ||
| j14 | | Joseph M. Morris, Alexander Bunkenburg: A source of inconsistency in theories of nondeterministic functions. Sci. Comput. Program. 43(1): 77-89 (2002) |
| 2001 | ||
| j13 | | |
| 1999 | ||
| j12 | | Joseph M. Morris, Alexander Bunkenburg: A Logic for Reasoning Equationally in the Presence of Partiality. Sci. Comput. Program. 34(2): 141-158 (1999) |
| j11 | | Joseph M. Morris, Alexander Bunkenburg: Specificational functions. ACM Trans. Program. Lang. Syst. 21(3): 677-701 (1999) |
| 1998 | ||
| j10 | | Joseph M. Morris, Alexander Bunkenburg: Partiality and Nondeterminacy in Program Proofs. Formal Asp. Comput. 10(1): 76-96 (1998) |
| 1997 | ||
| j9 | | Joseph M. Morris: Non-Deterministic Expressions and Predicate Transformers. Inf. Process. Lett. 61(5): 241-246 (1997) |
| 1990 | ||
| j8 | | Joseph M. Morris: Programming by Expression Refinement: a Sequence of Examples. Structured Programming 11(4): 189-198 (1990) |
| 1989 | ||
| j7 | | |
| j6 | | Joseph M. Morris: Temporal Predicat Transformers and Fair Termination. Acta Inf. 27(4): 287-313 (1989) |
| j5 | | Joseph M. Morris: Well-founded induction and the invariance theorem for loops. Inf. Process. Lett. 32(3): 155-158 (1989) |
| 1987 | ||
| j4 | | Joseph M. Morris: Varieties of Weakest Liberal Preconditions. Inf. Process. Lett. 25(3): 207-210 (1987) |
| j3 | | Joseph M. Morris: A Theoretical Basis for Stepwise Refinement and the Programming Calculus. Sci. Comput. Program. 9(3): 287-306 (1987) |
| 1979 | ||
| j2 | | Joseph M. Morris: A Starvation-Free Solution to the Mutual Exclusion Problem. Inf. Process. Lett. 8(2): 76-80 (1979) |
| j1 | | Joseph M. Morris: Traversing Binary Trees Simply and Cheaply. Inf. Process. Lett. 9(5): 197-200 (1979) |
| 1 | Benjamin Aziz | |
| 2 | Alexander Bunkenburg | |
| 3 | Andrew Butterfield | |
| 4 | Gareth Carter | |
| 5 | Arthur Hughes | |
| 6 | Rosemary Monahan | |
| 7 | Frédéric Oehl | |
| 8 | Malcolm Tyrrell |
Colors in the list of coauthors
Last update Sat May 25 21:28:03 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page