Jose Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
Browse the full CONCUR paper archive.