Token Scheme: An Algorithm for Distributed Termination Detection and Its Proof of Correctness

Xinfeng Ye; John A Keane; Jan van Leeuwen

Token Scheme: An Algorithm for Distributed Termination Detection and Its Proof of Correctness

Xinfeng Ye, John A Keane, Jan van Leeuwen (Editor)

Research output: Chapter in Book/Conference proceeding › Conference contribution

Original language	English
Title of host publication	IFIP Congress (1)
Editors	Jan van Leeuwen
Publisher	Elsevier BV
Pages	357-364
Number of pages	8
Volume	A-12
ISBN (Print)	0-444-89747-X
Publication status	Published - 1992
Event	Algorithms, Software, Architecture - Information Processing '92, Volume 1, Proceedings of the IFIP 12th World Computer Congress, Madrid, Spain, 7-11 September 1992 - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/ifip/ifip92-1.html#YeK92http://dblp.uni-trier.de/rec/bibtex/conf/ifip/YeK92.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/ifip/YeK92

Publication series

Name	IFIP Transactions

Conference

Conference	Algorithms, Software, Architecture - Information Processing '92, Volume 1, Proceedings of the IFIP 12th World Computer Congress, Madrid, Spain, 7-11 September 1992
Period	1/01/24 → …
Internet address	http://dblp.uni-trier.de/db/conf/ifip/ifip92-1.html#YeK92http://dblp.uni-trier.de/rec/bibtex/conf/ifip/YeK92.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/ifip/YeK92

Access to Document

Cite this

@inproceedings{8bef170fe646494a995af2ac6821897d,

title = "Token Scheme: An Algorithm for Distributed Termination Detection and Its Proof of Correctness",

author = "Xinfeng Ye and Keane, {John A} and Leeuwen, {Jan van}",

year = "1992",

language = "English",

isbn = "0-444-89747-X",

volume = "A-12",

series = "IFIP Transactions",

publisher = "Elsevier BV",

pages = "357--364",

editor = "Leeuwen, {Jan van}",

booktitle = "IFIP Congress (1)",

address = "Netherlands",

note = "Algorithms, Software, Architecture - Information Processing '92, Volume 1, Proceedings of the IFIP 12th World Computer Congress, Madrid, Spain, 7-11 September 1992 ; Conference date: 01-01-1824",

url = "http://dblp.uni-trier.de/db/conf/ifip/ifip92-1.html#YeK92http://dblp.uni-trier.de/rec/bibtex/conf/ifip/YeK92.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/ifip/YeK92",

}

Ye, X, Keane, JA & Leeuwen, JV (ed.) 1992, Token Scheme: An Algorithm for Distributed Termination Detection and Its Proof of Correctness. in JV Leeuwen (ed.), IFIP Congress (1). vol. A-12, IFIP Transactions, Elsevier BV, pp. 357-364, Algorithms, Software, Architecture - Information Processing '92, Volume 1, Proceedings of the IFIP 12th World Computer Congress, Madrid, Spain, 7-11 September 1992, 1/01/24. <http://dblp.uni-trier.de/db/conf/ifip/ifip92-1.html#YeK92>

TY - GEN

T1 - Token Scheme: An Algorithm for Distributed Termination Detection and Its Proof of Correctness

AU - Ye, Xinfeng

AU - Keane, John A

A2 - Leeuwen, Jan van

PY - 1992

Y1 - 1992

M3 - Conference contribution

SN - 0-444-89747-X

VL - A-12

T3 - IFIP Transactions

SP - 357

EP - 364

BT - IFIP Congress (1)

PB - Elsevier BV

T2 - Algorithms, Software, Architecture - Information Processing '92, Volume 1, Proceedings of the IFIP 12th World Computer Congress, Madrid, Spain, 7-11 September 1992

Y2 - 1 January 1824

ER -