Teaching Concurrent and Distributed Programming With Concepts Over Mathematical Proofs | IEEE Conference Publication | IEEE Xplore