"Location Types for Safe Distributed Object-Oriented Programming."

Yannick Welsch, Jan Schäfer (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics