The algebra of communicating processes with empty process (1997)

by J L M Vrancken
Venue:Theoretical Computer Science