A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Invariant-based specification, synthesis, and verification of synchronization in concurrent programs
2002
Proceedings of the 24th international conference on Software engineering - ICSE '02
Concurrency is used in modern software systems as a means of addressing performance, availability, and reliability requirements. The collaboration of multiple independently executing components is fundamental to meeting such requirements and such collaboration is realized by synchronizing component execution. Using current technologies developers are faced with a tension between correct synchronization and performance. Developers can be confident when simple forms of synchronization are used,
doi:10.1145/581339.581394
dblp:conf/icse/DengDHM02
fatcat:rd2o2iifanegbbffct7xm3gd5u