1. Algebraic laws for nondeterminism and concurrency;Hennessy;Journal of the ACM,1985
2. A Calculus of Communicating Systems;Milner,1980
3. Introduction to Process Algebra;Fokkink,2007
4. Petri nets, event structures and domains, Part I;Nielsen;Theoretical Computer Science,1981
5. Event structures;Winskel,1987