Mobile Objects Must Move Safely

Sébastien Briais, Uwe Nestmann. Mobile Objects Must Move Safely. In Bart Jacobs, Arend Rensink, editors, Formal Methods for Open Object-Based Distributed Systems V, IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), March 20-22, 2002, Enschede, The Netherlands. Volume 209 of IFIP Conference Proceedings, pages 129-146, Kluwer, 2002.

Abstract

Abstract is missing.