"A model-driven approach to teaching concurrency."

Manuel Carro, Ángel Herranz-Nieva, Julio Mariño (2013)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics