( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Compositional Formal Analysis for Concurrent Object-Oriented Languages.

. University of Oslo, Norway, (2013)base-search.net (ftoslouniv:oai:www.duo.uio.no:10852/37534).

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.

Thuong Hien Tran

Tran Thi Vinh

Tran Thi Hanh

Tran Thi Hien

Tran Thi Cuc

 

Другие публикации лиц с тем же именем

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., , , и . FSEN, том 7141 из Lecture Notes in Computer Science, стр. 158-173. Springer, (2011)Compositional Static Analysis for Implicit Join Synchronization in a Transactional Setting., , и . SEFM, том 8137 из Lecture Notes in Computer Science, стр. 212-228. Springer, (2013)Design Issues in Concurrent Object-Oriented Languages and Observability., и . KSE, стр. 135-142. IEEE Computer Society, (2011)Safe locking for multi-threaded Java with exceptions., , , и . J. Log. Algebraic Methods Program., 81 (3): 257-283 (2012)A type system for finding upper resource bounds of multi-threaded programs with nested transactions., , , и . SoICT, стр. 21-30. ACM, (2012)Safe Commits for Transactional Featherweight Java., и . IFM, том 6396 из Lecture Notes in Computer Science, стр. 290-304. Springer, (2010)