| 2007 |
|---|
| 11 | EE | Mike Livesey,
Ronald Morrison,
David S. Munro:
The Doomsday distributed termination detection protocol.
Distributed Computing 19(5-6): 419-431 (2007) |
| 1997 |
|---|
| 10 | EE | Mike Livesey:
STAMPS: a state-machine based processor simulator.
SIGCSE 1997: 267-271 |
| 9 | EE | M. D. Atkinson,
Mike Livesey,
D. Tulley:
Permutations Generated by Token Passing in Graphs.
Theor. Comput. Sci. 178(1-2): 103-118 (1997) |
| 1996 |
|---|
| 8 | EE | P. Burgess,
Mike Livesey,
Colin Allison:
Debugging and Dynamic Modification of Embedded Systems.
HICSS (1) 1996: 489-498 |
| 1995 |
|---|
| 7 | EE | Colin Allison,
Mike Livesey:
Persistent SR: Adding persistence to concurrency.
HICSS (2) 1995: 655-664 |
| 1993 |
|---|
| 6 | | P. Burgess,
Mike Livesey,
Colin Allison:
Process Migration as an Aid to Tuning Embedded Systems.
PARCO 1993: 581-584 |
| 5 | | Mike Livesey:
A Note on Consistency in Asynchronous Multicaches.
Distributed Computing 7(2): 111-114 (1993) |
| 1992 |
|---|
| 4 | EE | Mike Livesey,
Colin Allison:
Operating system level support for coherence in distributed systems.
ACM SIGOPS European Workshop 1992 |
| 3 | EE | Mike Livesey,
Colin Allison:
Coherence in Distributed Persistent Object Systems.
POS 1992: 186-197 |
| 1990 |
|---|
| 2 | EE | Mike Livesey:
Distributed Varimistic Concurrency Control in a Persistent Object Store.
POS 1990: 293-304 |
| 1989 |
|---|
| 1 | | Mike Livesey:
Stable Families of Behavioural Equivalences.
Theor. Comput. Sci. 63(1): 19-41 (1989) |
