Relaxing Synchronization Constraints in Behavioral Programs.

David Harel, Amir Kantor, Guy Katz

Browse the full LPAR paper archive.