A. Ponse

• Algebra of communicating processes