Proving liveness in ring protocols by termination

H. Zantema; J. Giesl

Proving liveness in ring protocols by termination

H. Zantema
, J. Giesl

Formal System Analysis

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

Original language	English
Title of host publication	Proceedings 6th International Workshop on Termination (WST2003, Valencia, Spain, June 13-14, 2003), Technical Report DSIC-II/15/03
Editors	A. Rubio
Place of Publication	Valencia
Publisher	Universidad Politecnica de Valencia
Pages	16-18
Publication status	Published - 2003

Cite this

@inproceedings{817f1526d3aa4c5a8c876f2917724cd1,

title = "Proving liveness in ring protocols by termination",

author = "H. Zantema and J. Giesl",

year = "2003",

language = "English",

pages = "16--18",

editor = "A. Rubio",

booktitle = "Proceedings 6th International Workshop on Termination (WST2003, Valencia, Spain, June 13-14, 2003), Technical Report DSIC-II/15/03",

publisher = "Universidad Politecnica de Valencia",

address = "Spain",

}

Proving liveness in ring protocols by termination. / Zantema, H.; Giesl, J.
Proceedings 6th International Workshop on Termination (WST2003, Valencia, Spain, June 13-14, 2003), Technical Report DSIC-II/15/03. ed. / A. Rubio. Valencia: Universidad Politecnica de Valencia, 2003. p. 16-18.

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

TY - GEN

T1 - Proving liveness in ring protocols by termination

AU - Zantema, H.

AU - Giesl, J.

PY - 2003

Y1 - 2003

M3 - Conference contribution

SP - 16

EP - 18

BT - Proceedings 6th International Workshop on Termination (WST2003, Valencia, Spain, June 13-14, 2003), Technical Report DSIC-II/15/03

A2 - Rubio, A.

PB - Universidad Politecnica de Valencia

CY - Valencia

ER -