Process algebra - Baeten, Josephus Cornelis Maria (Cambridge tracts in theoretical computer science ;, 1995)