We use cookies to improve your experience with our site.
YING Mingsheng. Topology in Process Calculus (Ⅰ):Limit Behaviour of Agents[J]. Journal of Computer Science and Technology, 1999, 14(4): 328-336.
Citation: YING Mingsheng. Topology in Process Calculus (Ⅰ):Limit Behaviour of Agents[J]. Journal of Computer Science and Technology, 1999, 14(4): 328-336.

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.
  • loading

Catalog

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return