Processes in Space Venue Theor. Comput. Sci., vol. 431, pp. 40–55 Publication Year 2012 Identifiers DOI: doi:10.1016/j.tcs.2011.12.051 Authors Luca Cardelli Philippa Gardner Source Materials Published Edition BibTeX Citation