1. Algebraic laws for nondeterminism and concurrency;Hennessy;Journal of the ACM,1985
2. Communication and Concurrency;Milner,1989
3. A Calculus of Communicating Systems;Milner,1980
4. Introduction to Process Algebra;Fokkink,2007
5. A logic for true concurrency;Baldan,2010