Email Record: Handbook of truly concurrent process algebra /