Malcolm Tyrrell

Publication Activity (10 Years)

Years Active: 2000-2009
Publications (10 Years): 0

Publications

Joseph M. Morris, Alexander Bunkenburg, Malcolm Tyrrell
Term transformers: A new approach to state. ACM Trans. Program. Lang. Syst. 31 (4) (2009)
Joseph M. Morris, Malcolm Tyrrell
Modelling higher-order dual nondeterminacy. Acta Informatica 45 (6) (2008)
Joseph M. Morris, Malcolm Tyrrell
Dually nondeterministic functions. ACM Trans. Program. Lang. Syst. 30 (6) (2008)
Joseph M. Morris, Malcolm Tyrrell
Dual unbounded nondeterminacy, recursion, and fixpoints. Acta Informatica 44 (5) (2007)
Joseph M. Morris, Malcolm Tyrrell
Terms with unbounded demonic and angelic nondeterminacy. Sci. Comput. Program. 65 (2) (2007)
Malcolm Tyrrell, Joseph M. Morris, Andrew Butterfield, Arthur Hughes
A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes. ICTAC (2006)
Malcolm Tyrrell, Andrew Butterfield, Alexis Donnelly
OO-Motivated Process Algebra: A Calculus for CORBA-like Systems. Rigorous Object-Oriented Methods (2000)