Text this: Topology in Process Calculus :