Process Algebra

This short paper (21 pages) gives a succinct introduction into syntax, semantics and use of the process algebra ACP, Algebra of Communicating Processes, written in 1990 by Jan Bergstra and Jan Willem Klop and published in the book by Jos Baeten, co-developer with Jan and Jan Willem
of ACP: Baeten JCM, ed. Applications of Process Algebra. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press; 1990:1-22.