Application of finite state automata to the bakery algorithm in critical section modeling.

Vladan Bozic

Browse the full ITiCSE paper archive.