Brief Announcement: constraint-based synchronization and verification of concurrent programs.

Rafael Ramrez, Juanjo Martinez

Browse the full PODC paper archive.