Christiaan Verhoef

• Algebra of Communicating Processes