Extending process algebra with the empty process (1985)

by C J P Koymans, J L M Vrancken
Venue:University of Utrecht