Constraint-Based Synchronization and Verification of Distributed Java Programs.

Rafael Ramrez, Juanjo Martinez

Browse the full ICLP paper archive.