A Uniform Classification of Common Concurrency Errors

Jan Fiedor, Bohuslav Krena, Zdenek Letko, Tomás Vojnar. A Uniform Classification of Common Concurrency Errors. In Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia, editors, Computer Aided Systems Theory - EUROCAST 2011 - 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I. Volume 6927 of Lecture Notes in Computer Science, pages 519-526, Springer, 2011. [doi]

Authors

Jan Fiedor

This author has not been identified. Look up 'Jan Fiedor' in Google

Bohuslav Krena

This author has not been identified. Look up 'Bohuslav Krena' in Google

Zdenek Letko

This author has not been identified. Look up 'Zdenek Letko' in Google

Tomás Vojnar

This author has not been identified. Look up 'Tomás Vojnar' in Google