Text this: Handbook of truly concurrent process algebra /