Teaching Concurrent and Distributed Programming With Concepts Over Mathematical Proofs.

David Marchant, Carl-Johannes Johnsen, Brian Vinter, Kenneth Skovhede

Browse the full SC paper archive.