See the current pdf in Arxiv Robin Milner’s book Communication and Concurrency involves a take on state machines that is fundamentally incorrect. “Now in standard
Read moreProcess algebra reconsidered
Paper is here. The following incorrect claim is not unusual in the process algebra literature. Basically, what is missing [in classical automata theory] is the
Read moreProcess Algebra and classical automata
The long awaited process algebra paper is now finally available in PDF Reducing Process Algebra.
Read more
Robin Milner and Automata theory
I always had the impression that the entire group of “process algebra” people didn’t know much about automata, but this is surprising. But meanwhile I
Read more