Safe locking for multi-threaded Java with exceptions

Autor: Johnsen, Einar Broch, Mai Thuong Tran, Thi, Owe, Olaf, Steffen, Martin
Zdroj: In Journal of Logic and Algebraic Programming April 2012 81(3):257-283
Databáze: ScienceDirect