Verified Parameterized Choreographies.

Robert Rubbens, Petra van den Bos, Marieke Huisman

Browse the full Coordination paper archive.