Translating a process algebra with symbolic data values to linear format (1995)

by D Bosscher, A Ponse
Venue:University of Aarhus