Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Joseph M.
    Last name: Morris
    DBLP: 09/1164
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 10 of 23  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Joseph M. Morris, Alexander Bunkenburg, Malcolm Tyrrell.
    Term transformers: A new approach to state.
    ACM Trans. Program. Lang. Syst. 2009, Volume 31 (0) 2009
    Conference paper
    Joseph M. Morris, Malcolm Tyrrell.
    Modelling higher-order dual nondeterminacy.
    Acta Inf. 2008, Volume 45 (0) 2008
    Conference paper
    Joseph M. Morris, Malcolm Tyrrell.
    Dually nondeterministic functions.
    ACM Trans. Program. Lang. Syst. 2007, Volume 30 (0) 2008
    Conference paper
    Joseph M. Morris.
    Plug-and-Play Nondeterminacy.
    B 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besançon, France, January 17-19, 2007, Proceedings 2006 (0) 2007
    Conference paper
    Joseph M. Morris, Malcolm Tyrrell.
    Dual unbounded nondeterminacy, recursion, and fixpoints.
    Acta Inf. 2007, Volume 44 (0) 2007
    Conference paper
    Joseph M. Morris, Malcolm Tyrrell.
    Terms with unbounded demonic and angelic nondeterminacy.
    Sci. Comput. Program. 2007, Volume 65 (0) 2007
    Conference paper
    Malcolm Tyrrell, Joseph M. Morris, Andrew Butterfield, Arthur Hughes.
    A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes.
    Theoretical Aspects of Computing - ICTAC 2006, Third International Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings 2006 (0) 2006
    Conference paper
    Gareth Carter, Rosemary Monahan, Joseph M. Morris.
    Software Refinement with Perfect Developer.
    Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    Conference paper
    Joseph M. Morris.
    Augmenting Types with Unbounded Demonic and Angelic Nondeterminacy.
    Mathematics of Program Construction, 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings 2004 (0) 2004
    Conference paper
    Joseph M. Morris, Alexander Bunkenburg.
    A source of inconsistency in theories of nondeterministic functions.
    Sci. Comput. Program. 2002, Volume 43 (0) 2002
    Show item 1 to 23 of 23  

    Your query returned 23 matches in the database.