Processes in Space Venue Theoretical Computer Science 2012 Publication date May 2012 Identifiers DOI: doi:10.1016/j.tcs.2011.12.051 Authors Luca Cardelli Philippa Gardner Source Materials Technical Report Published Edition BibTeX Citation