Search the dblp DataBase

Publications of Author

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