book chapterLecture notes in computer scienceAug 22, 2007Closed access

Formalising Java’s Data Race Free Guarantee

DADavid AspinallJŠJaroslav Ševčík

University of Edinburgh

Indexed incrossref

Abstract

No abstract available for this paper.

Citation impact

757
total citations
FWCI
141.74
Percentile
100%
References
27
Citations per year

Authors

2

Topics & keywords

Topics
Keywords
  • Computer science
  • Java
  • Mathematical proof
  • Programming language
  • Java Modeling Language
  • Formal description
  • Formal methods
  • Real time Java
No related works found for this paper.