Dear Spiral User, we appreciate your patience during this upgrade which is to benefit our userbase, improve their experience in Spiral, introduce improvements, fixes and maintaining our versioning for future updates. Please note if you encounter any issues in Spiral, please raise a ticket to Research Applications team providing as much detail as possible in order to help us resolve your query. Again, we thank you for your patience and support during the upgrade. Kind Regards, Spiral Upgrade Team.
 
Universes for Race Safety
File(s)
universes-races.pdf (339.59 KB)
Accepted version
Author(s)
Cunningham, D
Eisenbach, S
Drossopoulou, S
Type
Conference Paper
Date Issued
2007-09-03
Citation
pp.1-32
URI
URL
Source Title
1st International Workshop on Verification and Analysis of Multi-threaded Java-like Programs (VAMP) 2007
Start Page
1
End Page
32
Copyright Statement
© The Authors
License URL
Identifier
http://pubs.doc.ic.ac.uk/universes-races/universes-races.pdf
Source
1st International Workshop on Verification and Analysis of Multi-threaded Java-like Programs (VAMP) 2007
Source Place
Lisbon, Portugal
Start Date
2007-09-03
Finish Date
2007-09-03
Coverage Spatial
Lisbon, Portugal