A semantic theory for value-passing processes, late appraoch—Parts (1995)

by A Ingolfsdottir
Venue:I and II. BRICS reports RS–95–3/22