Kohei Honda. Understanding Distributed Services through the π-Calculus. In Marco Carbone, Jean-Marc Petit, editors, Web Services and Formal Methods - 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers. Volume 7176 of Lecture Notes in Computer Science, pages 1, Springer, 2011. [doi]
Abstract is missing.