"Formal Models of Distributed Memory Management."

Cristian Ungureanu, Benjamin Goldberg (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics