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

by D J Bosscher, A Ponse
Venue:Proceedings of the Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS