3 papers
cs.FL2026
Standard Automata Theory and Process Algebra
Victor Yodaiken
Classical automata theory is far more capable of modeling complex digital systems than is widely acknowledged in the ``formal methods'' literature. This paper takes a second look a…
cs.LO2026
Parametric equations for temporal style assertions
Victor Yodaiken
Temporal logic provided an appealing approach to specifying properties of operating systems and other "reactive" software by allowing propositions to be qualified by "when" they mu…
cs.FL2026
Digital Circuits as Moore Machines
Victor Yodaiken
This paper illustrates a technique for specifying the timing, logical operation, and compositional circuit design of digital circuits in terms of ordinary state machines with outpu…