A calculus of distributed and parallel processes - Cap, Clemens H. (Teubner-Texte zur Informatik, 2000)