Nadezhda Baklanova, Martin Strecker. A Formal Model of Resource Sharing Conicts in Multithreaded Java. In Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych, Mikhail Zavileysky, Hennadiy Kravtsov, Vitaliy Kobets, Vladimir S. Peschanenko, editors, Proceedings of the 9th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, Kherson, Ukraine, June 19-22, 2013. Volume 1000 of CEUR Workshop Proceedings, pages 550-564, CEUR-WS.org, 2013. [doi]
Abstract is missing.