technical report RUU-CS-86-11
select other reports
report
techrep_id |
file |
title / author |
RUU-CS-86-11 |
pdf |
The derivation of graph marking algorithms from distributed termination detection protocols G.Tel and R.B. Tan and J. van Leeuwen |
BibTeX entry
@TECHREPORT{RUUCS8611,
author = {G.Tel and Tan, R.B. and Leeuwen, J.~van},
year = 1986,
title = {The derivation of graph marking algorithms from distributed termination detection protocols},
number = {RUU-CS-86-11},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1986/1986-11.pdf}},
pubcat = {techreport}
}