http://www.yodaiken.com Systems software technology and business Sun, 01 Jan 2012 18:30:48 +0000 en hourly 1 http://wordpress.org/?v=3.1 http://www.yodaiken.com/2009/07/process-algebra/ http://www.yodaiken.com/2009/07/process-algebra/#comments Fri, 10 Jul 2009 01:32:41 +0000 admin http://www.yodaiken.com/?p=481 Continue reading →]]> 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.

]]> http://www.yodaiken.com/2009/07/process-algebra/feed/ 0