Better Automata through Process Algebra

TitleBetter Automata through Process Algebra
Publication TypeJournal Article
Year of Publication2020
AuthorsCleaveland, Rance
JournalarXiv preprint arXiv:2002.07562