A JMM-Faithful Non-interference Calculus for Java

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Vladimir Klebanov
In:4th International Workshop on Scientific Engineering of Distributed Java Applications (FIDJI 2004)
Verleger:Springer
Reihe:Lecture Notes in Computer Science
Band:3409
Jahr:2004
Seiten:101-111

BibTeX

@inproceedings{Klebanov04,
  author    = {Vladimir Klebanov},
  title     = {A {JMM}-Faithful Non-interference Calculus for {J}ava},
  booktitle = {4th International Workshop on Scientific Engineering of
               Distributed Java Applications (FIDJI 2004)},
  year      = {2004},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3409},  
  pages     = {101--111},
  ee        = {http://www.springerlink.com/link.asp?id=6fq6uyda8brf7qae},
  venue     = {Luxembourg-Kirchberg, Luxembourg}
}