CCS

di |



Calculus of Communicating Systems