Joachim Parrow

2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

A calculus of mobile processes, I
Robin Milner and others (1992) · Information and Computation · Elsevier BV
The concurrency workbench: A semantics based tool for the verification of concurrent systems
Rance Cleaveland and others (1989) · Technical Report LFCS-89-83