J.L.M.: Extending process algebra with the empty process ǫ (1985)

by C P J Koymans, Vrancken
Venue:Department of Philosophy, Utrecht University, Utrecht