On the Verification of Coordination.

Paul Dechering, Izak van Langevelde

Browse the full Coordination paper archive.