David Marchant, Carl-Johannes Johnsen, Brian Vinter, Kenneth Skovhede. Teaching Concurrent and Distributed Programming With Concepts Over Mathematical Proofs. In 2019 IEEE/ACM Workshop on Education for High-Performance Computing, EduHPC@SC 2019, Denver, CO, USA, November 17, 2019. pages 49-57, IEEE, 2019. [doi]
Abstract is missing.