Formal Design of Self-stabilizing Programs

Research output: Contribution to journal › Article › Academic › peer-review

Original language	Undefined/Unknown
Pages (from-to)	59-84
Number of pages	26
Journal	Journal of Highspeed Network, special issue on self-stabilizing systems
Volume	14
Publication status	Published - 2005

Keywords

@article{956b612698424b02af36f9298e286877,

title = "Formal Design of Self-stabilizing Programs",

keywords = "Wiskunde en Informatica (WIIN)",

author = "I.S.W.B. Prasetya and S.D. Swierstra",

note = "SSonJHSN 11th International Workshop on Requirements Engineering for Software Quality (REFSQ'05)",

year = "2005",

language = "Undefined/Unknown",

volume = "14",

pages = "59--84",

journal = "Journal of Highspeed Network, special issue on self-stabilizing systems",

}

TY - JOUR

T1 - Formal Design of Self-stabilizing Programs

AU - Prasetya, I.S.W.B.

AU - Swierstra, S.D.

N1 - SSonJHSN 11th International Workshop on Requirements Engineering for Software Quality (REFSQ'05)

PY - 2005

Y1 - 2005

KW - Wiskunde en Informatica (WIIN)

M3 - Article

VL - 14

SP - 59

EP - 84

JO - Journal of Highspeed Network, special issue on self-stabilizing systems

JF - Journal of Highspeed Network, special issue on self-stabilizing systems

ER -