Algebra of communicating processes with abstraction. (1985)

by J A Bergstra, J W Klop
Venue:Theor. Comput. Sci.,