Process Algebra and classical automata
The long awaited process algebra paper is now finally available in PDF
Reducing Process Algebra.
Process algebra (updated)
The first part of a critique of process algebra is below. This relates to the Recursion and State paper and explicatory blog entry where I show how to compose classical automata and define them “abstractly” and to a complaint about the weak critique of automata theory in standard process algebra literature and also to a [...]