Discrete time process algebra and the semantics of SDL”, (1998)

by J A Bergstra, C A Middelburg, Y S Usenko
Venue:CWI Report SEN-R9809, Centre for Mathematics and Computer Science,