Specification and Verification of Synchronizing Concurrent Objects.

Gabriel Ciobanu, Dorel Lucanu

Browse the full IFM paper archive.