| 2008 |
|---|
| 6 | EE | Joseph M. Morris,
Malcolm Tyrrell:
Dually nondeterministic functions.
ACM Trans. Program. Lang. Syst. 30(6): (2008) |
| 5 | EE | Joseph M. Morris,
Malcolm Tyrrell:
Modelling higher-order dual nondeterminacy.
Acta Inf. 45(6): 441-465 (2008) |
| 2007 |
|---|
| 4 | EE | Joseph M. Morris,
Malcolm Tyrrell:
Dual unbounded nondeterminacy, recursion, and fixpoints.
Acta Inf. 44(5): 323-344 (2007) |
| 3 | EE | Joseph M. Morris,
Malcolm Tyrrell:
Terms with unbounded demonic and angelic nondeterminacy.
Sci. Comput. Program. 65(2): 159-172 (2007) |
| 2006 |
|---|
| 2 | EE | Malcolm Tyrrell,
Joseph M. Morris,
Andrew Butterfield,
Arthur Hughes:
A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes.
ICTAC 2006: 123-137 |
| 2000 |
|---|
| 1 | EE | Malcolm Tyrrell,
Andrew Butterfield,
Alexis Donnelly:
OO-Motivated Process Algebra: A Calculus for CORBA-like Systems.
Rigorous Object-Oriented Methods 2000 |
