Reniers, “Discrete time process algebra with silent step (2000)

by J C M Baeten, J A Bergstra, M A
Venue:in Proof, language, and interaction: essays in honour of Robin Milner