Towards a Functional Process Calculus. - K. Bohlmann; Rita Loogen; Yolanda Ortega-Mallén (GULP-PRODE (1), 1994)