Malcolm Tyrrell

According to our database, Malcolm Tyrrell authored at least 8 papers between 2000 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

Term transformers: A new approach to state.

Joseph M. Morris, Alexander Bunkenburg, Malcolm Tyrrell

ACM Trans. Program. Lang. Syst., 2009

2008

Dually nondeterministic functions.

Joseph M. Morris, Malcolm Tyrrell

ACM Trans. Program. Lang. Syst., 2008

Modelling higher-order dual nondeterminacy.

Joseph M. Morris, Malcolm Tyrrell

Acta Informatica, 2008

2007

Terms with unbounded demonic and angelic nondeterminacy.

Joseph M. Morris, Malcolm Tyrrell

Sci. Comput. Program., 2007

Dual unbounded nondeterminacy, recursion, and fixpoints.

Joseph M. Morris, Malcolm Tyrrell

Acta Informatica, 2007

2006

A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes.

Malcolm Tyrrell, Joseph M. Morris, Andrew Butterfield, Arthur Hughes

Proceedings of the Theoretical Aspects of Computing, 2006

2004

Towards a formal method for distributed object-oriented systems

Malcolm Tyrrell

PhD thesis, 2004

2000

OO-Motivated Process Algebra: A Calculus for CORBA-like Systems.

Malcolm Tyrrell, Andrew Butterfield, Alexis Donnelly

Proceedings of the Rigorous Object-Oriented Methods, 2000