These papers introduce sequential functions for specifying digital systems like operating systems and networks. The mathematical basis comes from Moore machines, Moore machine products, and
Read more
RTLinux retrospective
Disclaimer: RTLinux was sold to WindRiver Systems in 2007 See also The RTLinux patent 5,995,745
Read more
Process algebra and automata theory
Milner’s Communication and Concurrency contrasts a notion of “bisimulation” with what he characterizes as the view in standard automata theory. Standard automata theory, however, has
Read more