VeyMont: Choreography-Based Generation of Correct Concurrent Programs with Shared Memory.

Robert Rubbens, Petra van den Bos, Marieke Huisman

Browse the full IFM paper archive.