View in EDS PDF Full Text

A New Type System for JVM Lock Primitives.

Saved in:
Bibliographic Details
Title: A New Type System for JVM Lock Primitives.
Authors: Iwama, Futoshi1, iwama@kb.ecei.tohoku.ac.jp, Kobayashi, Naoki1, koba@ecei.tohoku.ac.jp
Source: New Generation Computing; 2008, Vol. 26 Issue 2, p125-170, 46p
Database: Applied Science & Technology Source
Description
ISSN:02883635
DOI:10.1007/s00354-008-0038-8