Topology in process calculus (I): Limit behaviour of agents

摘要

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