Boguslaw Schreyer, Wojciech Wawrzynski. Finite automata models for CS problem with binary semaphore. In Renzo Davoli, Michael Goldweber, Paola Salomoni, editors, Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2006, Bologna, Italy, June 26-28, 2006. pages 330, ACM, 2006. [doi]
Abstract is missing.