Chris Walton;Dilsun Kirl;Stephen Gilmore
-;-;-
On correctness of dynamic protocol update
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems