Rafael Ramirez, Juanjo Martinez. Brief Announcement: constraint-based synchronization and verification of concurrent programs. In Soma Chaudhuri, Shay Kutten, editors, Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, PODC 2004, St. John s, Newfoundland, Canada, July 25-28, 2004. pages 371, ACM, 2004. [doi]
Abstract is missing.