Ole Eriksen

List of publications from the DBLP Bibliography Server - FAQ

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