J. Robin B. Cockett What Is a Good Process Semantics? 1-3 2006 conf/mpc/2006 MPC http://dx.doi.org/10.1007/11783596_1 db/conf/mpc/mpc2006.html#Cockett06