Finite automata models for CS problem with binary semaphore.

Boguslaw Schreyer, Wojciech Wawrzynski

Browse the full ITiCSE paper archive.