Processes in Space Venue Programs, Proofs, Processes @ Computability in Europe (CiE) 2010 Publication date Jun 2010 Identifiers DOI: doi:10.1007/978-3-642-13962-8_9 Authors Luca Cardelli Philippa Gardner Source Materials Published Edition BibTeX Citation