6 citations · 15 across the 9 of their papers we have counts for
9 papers
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…
How ISO C became unusable for operating systems development
Victor Yodaiken
The C programming language was developed in the 1970s as a fairly unconventional systems and operating systems development tool, but has, through the course of the ISO Standards pr…
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…
Folding a Tree into a Map
Victor Yodaiken
Analysis of the retrieval architecture of the highly influential UNIX file system (\cite{Ritchie}\cite{multicsfs}) provides insight into design methods, constraints, and possible a…
Defining and composing big state machines
Victor Yodaiken
A sequence function alternative representation of state machines.
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…