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.
Tags: automata, critique of process algebra, process algebra
No Comments
Comments RSS
TrackBack Identifier URI
No comments. Be the first.
Leave a comment
You must be logged in to post a comment.