Proper Granularity for Atomic Sections in Concurrent Programs

Romain Demeyer, Wim Vanhoof

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationPre-­Proceedings of the 21st International Symposium on Logic-­Based Program Synthesis and Transformation (LOPSTR 2011)
Publication statusPublished - 2011
Event21st International Symposium on Logic-­Based Program Synthesis and Transformation (LOPSTR 2011) - Odense, Denmark
Duration: 18 Jul 201120 Jul 2011

Symposium

Symposium21st International Symposium on Logic-­Based Program Synthesis and Transformation (LOPSTR 2011)
Country/TerritoryDenmark
CityOdense
Period18/07/1120/07/11

Cite this