Process speci cation in a UNITY format (1994)

by J J Brunekreef
Venue:Proceedings of the 1st Workshop in the Algebra of Communicating Processes, ACP '94