The derivation of graph marking algorithms from distributed termination detection protocols

Research output: Book/Report › Report › Academic

Keywords

@book{41e67ba6b36740f289874c06c5d6d984,

title = "The derivation of graph marking algorithms from distributed termination detection protocols",

keywords = "Wiskunde en Informatica (WIIN)",

author = "G. Tel and R.B. Tan and {van Leeuwen}, J.",

year = "1986",

language = "Undefined/Unknown",

isbn = "0924-3275",

volume = "86-11",

publisher = "Unknown Publisher",

edition = "RUU-CS",

}

TY - BOOK

T1 - The derivation of graph marking algorithms from distributed termination detection protocols

AU - Tel, G.

AU - Tan, R.B.

AU - van Leeuwen, J.

PY - 1986

Y1 - 1986

KW - Wiskunde en Informatica (WIIN)

M3 - Report

SN - 0924-3275

VL - 86-11

BT - The derivation of graph marking algorithms from distributed termination detection protocols

PB - Unknown Publisher

CY - Utrecht

ER -