( en | de | ru )

 

Disambiguation of "Tran, Thi Mai Thuong"

Author of the publication

copydeleteadd this publication to your clipboard
Safe locking for multi-threaded Java with exceptions.

, , , and . J. Log. Algebraic Methods Program., 81 (3): 257-283 (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Thuong Hien Tran

Tran Thi Vinh

Tran Thi Hanh

Tran Thi Hien

Tran Thi Cuc

 

Other publications of authors with the same name

Compositional Formal Analysis for Concurrent Object-Oriented Languages.. University of Oslo, Norway, (2013)base-search.net (ftoslouniv:oai:www.duo.uio.no:10852/37534).Safe Locking for Multi-threaded Java., , , and . FSEN, volume 7141 of Lecture Notes in Computer Science, page 158-173. Springer, (2011)Compositional Static Analysis for Implicit Join Synchronization in a Transactional Setting., , and . SEFM, volume 8137 of Lecture Notes in Computer Science, page 212-228. Springer, (2013)Design Issues in Concurrent Object-Oriented Languages and Observability., and . KSE, page 135-142. IEEE Computer Society, (2011)A type system for finding upper resource bounds of multi-threaded programs with nested transactions., , , and . SoICT, page 21-30. ACM, (2012)Safe Commits for Transactional Featherweight Java., and . IFM, volume 6396 of Lecture Notes in Computer Science, page 290-304. Springer, (2010)Safe locking for multi-threaded Java with exceptions., , , and . J. Log. Algebraic Methods Program., 81 (3): 257-283 (2012)