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 remark about Dijkstra’s error.  There are other parts of it scattered around in some recent posts and some other issues that need to be raised, but the basic argument is in place.
Process algebra (updated)