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

This paper introduces the modifications on actions of a topologyon names of actions and the simplest topology on agents induced by a topology onnames of actions and shows that the limit behaviour of some agents is compatiblewith transitional semantics.