OO-Motivated Process Algebra: A Calculus for CORBA-like Systems. - Malcolm Tyrrell; Andrew Butterfield; Alexis Donnelly (Rigorous Object-Oriented Methods, 2000)

Towards a formal method for distributed object-oriented systems - Malcolm Tyrrell (2004)

A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes. - Malcolm Tyrrell; Joseph M. Morris; Andrew Butterfield; Arthur Hughes (ICTAC, 2006)

Dual unbounded nondeterminacy, recursion, and fixpoints. - Joseph M. Morris; Malcolm Tyrrell (Acta Informatica, 2007)

Terms with unbounded demonic and angelic nondeterminacy. - Joseph M. Morris; Malcolm Tyrrell (Sci. Comput. Program., 2007)

Modelling higher-order dual nondeterminacy. - Joseph M. Morris; Malcolm Tyrrell (Acta Informatica, 2008)

Dually nondeterministic functions. - Joseph M. Morris; Malcolm Tyrrell (ACM Trans. Program. Lang. Syst., 2008)

Term transformers: A new approach to state. - Joseph M. Morris; Alexander Bunkenburg; Malcolm Tyrrell (ACM Trans. Program. Lang. Syst., 2009)