@dblp

Teaching Academic Concurrency to Amazing Students.

, , , and . Models, Algorithms, Logics and Tools, volume 10460 of Lecture Notes in Computer Science, page 170-195. Springer, (2017)

Links and resources

Tags