Mobile Distributed Programming in X-Klaim

Lorenzo Bettini, Rocco De Nicola. Mobile Distributed Programming in X-Klaim. In Marco Bernardo, Alessandro Bogliolo, editors, Formal Methods for Mobile Computing, 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures. Volume 3465 of Lecture Notes in Computer Science, pages 29-68, Springer, 2005. [doi]

Authors

Lorenzo Bettini

This author has not been identified. Look up 'Lorenzo Bettini' in Google

Rocco De Nicola

This author has not been identified. Look up 'Rocco De Nicola' in Google