Mike Livesey

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2007
j5		Mike Livesey, Ronald Morrison, David S. Munro: The Doomsday distributed termination detection protocol. Distributed Computing 19(5-6): 419-431 (2007)
	1997
j4		M. D. Atkinson, Mike Livesey, D. Tulley: Permutations Generated by Token Passing in Graphs. Theor. Comput. Sci. 178(1-2): 103-118 (1997)
c7		Mike Livesey: STAMPS: a state-machine based processor simulator. SIGCSE 1997: 267-271
	1996
c6		P. Burgess, Mike Livesey, Colin Allison: Debugging and Dynamic Modification of Embedded Systems. HICSS (1) 1996: 489-498
	1995
c5		Colin Allison, Mike Livesey: Persistent SR: Adding persistence to concurrency. HICSS (2) 1995: 655-664
	1993
j3		Mike Livesey: A Note on Consistency in Asynchronous Multicaches. Distributed Computing 7(2): 111-114 (1993)
c4		P. Burgess, Mike Livesey, Colin Allison: Process Migration as an Aid to Tuning Embedded Systems. PARCO 1993: 581-584
	1992
c3		Mike Livesey, Colin Allison: Coherence in Distributed Persistent Object Systems. POS 1992: 186-197
c2		Mike Livesey, Colin Allison: Operating system level support for coherence in distributed systems. ACM SIGOPS European Workshop 1992
	1991
j2		Mike Livesey: A network model of barrier synchronization algorithms. International Journal of Parallel Programming 20(1): 55-74 (1991)
	1990
c1		Mike Livesey: Distributed Varimistic Concurrency Control in a Persistent Object Store. POS 1990: 293-304
	1989
j1		Mike Livesey: Stable Families of Behavioural Equivalences. Theor. Comput. Sci. 63(1): 19-41 (1989)

Coauthor Index

Last update Tue May 21 13:42:25 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page