Analysing Java's safety guarantees under concurrency

Download
Full text (published Version) (PDF, 150.2Kb)
Thumbnail
Open access
Author
Lochbihler, Andreas
Date
2014-03
Type
    Journal Article
Rights / license
In Copyright - Non-Commercial Use Permitted
Permanent link
https://doi.org/10.3929/ethz-b-000081641
Publication status
published
External links
Journal / series
Information Technology
Volume
56(2)
Pages / Article No.
82 - 86
Publisher
De Gruyter
Organisational unit
03634 - Basin, David / Basin, David  
Notes
Received 29 October 2013, Accepted 05 November 2013, Published online 31 March 2014. It was possible to publish this article open access thanks to a Swiss National Licence with the publisher
More
Show all metadata
ETH Bibliography
yes
Altmetrics