On correctness of dynamic protocol update (2005)

by Pawel T Wojciechowski, Olivier Rütti
Venue:In Proceedings of FMOODS ’05: The 7th IFIP Conference on Formal Methods for Open Object-Based Distributed Systems (Athens, Greece), volume 3535 of LNCS