Dear Spiral user, We’re pleased to introduce Helix, https://helix.imperial.ac.uk/ Imperial’s new repository for research datasets. Please use Helix for all future dataset deposits. There is no change to Spiral - continue depositing as usual. For queries, contact the Research Data Management team at rdm-enquiries@imperial.ac.uk. Kind regards, the Spiral Team. The Spiral team
13th international workshop on expressiveness in concurrency
File(s)
DTR06-10.pdf (1.31 MB)
Published version
Author(s)
Amadio, Roberto
Phillips, Iain
Type
Report
Date Issued
2006-01-01
Citation
Departmental Technical Report: 06/10, 2006, pp.1-104
URI
DOI
Publisher
Department of Computing, Imperial College London
Start Page
1
End Page
104
Journal / Book Title
Departmental Technical Report: 06/10
Copyright Statement
© 2006 The Author(s). This report is available open access under a CC-BY-NC-ND (https://creativecommons.org/licenses/by-nc-nd/4.0/)
License URL
Publication Status
Published
Article Number
06/10