# 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 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.