Used together with:
model
(1)
critic
(1)
automata
(1)
state
(1)
finit
(1)
Stem
bakeri$ (
all stems
)
1 papers:
ITiCSE-2006-Bozic
#algorithm
#automaton
#finite
#modelling
Application of finite state automata to the bakery algorithm in critical section modeling (
VB
), p. 362.
Bibliography of Software Language Engineering in Generated Hypertext
(
BibSLEIGH
) is created and maintained by
Dr. Vadim Zaytsev
.
Hosted as a part of
SLEBOK
on
GitHub
.