Invisible safety of distributed protocols. (2006)

by 7I Balaban, A Pnueli, L Zuck
Venue:Automata, Languages and Programming,