Ole Eriksen

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1988

2 Ole Eriksen: A Termination Detection Protocol and Its Formal Verification. J. Parallel Distrib. Comput. 5(1): 82-91 (1988)

1982

1 Ole Eriksen, Jørgen Staunstrup: Concurrent Algorithms for Root Searching. Acta Inf. 18: 361-376 (1982)

	1988
2		Ole Eriksen: A Termination Detection Protocol and Its Formal Verification. J. Parallel Distrib. Comput. 5(1): 82-91 (1988)
	1982
1		Ole Eriksen, Jørgen Staunstrup: Concurrent Algorithms for Root Searching. Acta Inf. 18: 361-376 (1982)

Coauthor Index

1 Jørgen Staunstrup [1]