An algebra for process creation (1992)

by J Baeten, F Vaandrager
Venue:Acta Informatica