Safe locking for multi-threaded Java with exceptions

Einar Broch Johnsen, Thi-Mai-Thuong Tran, Olaf Owe, Martin Steffen. Safe locking for multi-threaded Java with exceptions. Journal of Logic and Algebraic Programming, 81(3):257-283, 2012. [doi]

Authors

Einar Broch Johnsen

This author has not been identified. Look up 'Einar Broch Johnsen' in Google

Thi-Mai-Thuong Tran

This author has not been identified. Look up 'Thi-Mai-Thuong Tran' in Google

Olaf Owe

This author has not been identified. Look up 'Olaf Owe' in Google

Martin Steffen

This author has not been identified. Look up 'Martin Steffen' in Google