Topology in Process Calculus (I): Limit Behaviour of Agents

This paper introduces the modifications onactions of a topology on names of actions and the simplest topology onagents induced by a topology on names of actions and shows that the limitbehaviour of some agents is compatible with transitional semantics.