Frederic Tronel, Frédéric Lang, Hubert Garavel. Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components. In Elie Najm, Uwe Nestmann, Perdita Stevens, editors, Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings. Volume 2884 of Lecture Notes in Computer Science, pages 244-260, Springer, 2003. [doi]
Abstract is missing.