1. Handbook of Process Algebra;Bergstra,2001
2. Communicating Sequential Processes;Hoare,1985
3. Communication and Concurrency;Milner,1989
4. Temporal and modal logic;Emerson,1990
5. Conjunction on processes: full-abstraction via ready-tree semantics;Lüttgen,2006