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
Process algebra is based on a misunderstanding of automata theory
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 moreProcess algebra (updated)
See Process algebra and automata theory
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