Towards a functional process calculus (1994)

by Karsten Bohlmann, Rita Loogen, Yolanda Ortega-Mall'en
Venue:In Proceedings of GULP-PRODE, Universita Politecnica de