Mordechai Ben-Ari. Teaching concurrency and nondeterminism with spin. In Janet Hughes, D. Ramanee Peiris, Paul T. Tymann, editors, Proceedings of the 12th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2007, Dundee, Scotland, UK, June 25-27, 2007. pages 363-364, ACM, 2007. [doi]
Abstract is missing.