摘要
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.
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.
