A Unifying Framework for Deciding Synchronizability.

Benedikt Bollig, Cinzia Di Giusto, Alain Finkel, Laetitia Laversa, tienne Lozes, Amrita Suresh

Browse the full CONCUR paper archive.