Bicontexts and structural induction. - Mike Livesey (1987)

Stable Families of Behavioural Equivalences. - Mike Livesey (Theor. Comput. Sci., 1989)

Distributed Varimistic Concurrency Control in a Persistent Object Store. - Mike Livesey (POS, 1990)

A network model of barrier synchronization algorithms. - Mike Livesey (Int. J. Parallel Program., 1991)

Clamping in Boltzmann machines. - Mike Livesey (IEEE Trans. Neural Networks, 1991)

Coherence in Distributed Persistent Object Systems. - Mike Livesey; Colin Allison (POS, 1992)

Operating system level support for coherence in distributed systems. - Mike Livesey; Colin Allison (ACM SIGOPS European Workshop, 1992)

Process Migration as an Aid to Tuning Embedded Systems. - P. Burgess; Mike Livesey; Colin Allison (PARCO, 1993)

A Note on Consistency in Asynchronous Multicaches. - Mike Livesey (Distributed Comput., 1993)

A Dynamically Configurable Co-processor For Microkernels. - Mike Livesey; Colin Allison (PDP, 1994)

Persistent SR: Adding persistence to concurrency. - Colin Allison; Mike Livesey (HICSS (2), 1995)

Debugging and Dynamic Modification of Embedded Systems. - P. Burgess; Mike Livesey; Colin Allison (HICSS (1), 1996)

STAMPS: a state-machine based processor simulator. - Mike Livesey (SIGCSE, 1997)

Permutations Generated by Token Passing in Graphs. - M. D. Atkinson; Mike Livesey; D. Tulley (Theor. Comput. Sci., 1997)

Object Coherence in Distributed Interaction. - Colin Allison; Feng Huang; Mike Livesey (Eurographics Multimedia Workshop, 1999)

The Doomsday distributed termination detection protocol. - Mike Livesey; Ronald Morrison; David S. Munro (Distributed Comput., 2007)