Browsing Theses by Subject "automaton"
Now showing items 1-1 of 1
-
An Automaton-Theoretic View of Algebraic Specifications
(University of Waterloo, 2005)We compare two methods for software specification: <em>algebraic specifications</em> and automata. While algebraic specifications have been around since the 1970s and have been studied extensively, specification by ...