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. Petri nets, event structures and domains, Part I;Nielsen;Theoretical Computer Science,1981