Categories for modelling communicating processes.