Luca Cardelli, Philippa Gardner. Processes in Space. In Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes, editors, Programs, Proofs, Processes, 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010. Proceedings. Volume 6158 of Lecture Notes in Computer Science, pages 78-87, Springer, 2010. [doi]
Abstract is missing.