We use cookies to improve your experience with our site.

Indexed in:

SCIE, Ei, Scopus, DBLP, CSCD, etc.

Submission System
(Author / Reviewer / Editor)
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

More Information
  • Published Date: July 09, 1999
  • 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.
  • [1]
    Petri C A. Kommunikation mit automaten. Institut fur Instrumentelle Mathematik, Schriften des IIM 2, Bonn, 1962.
    [2]
    Hoare C A R. Communicating sequential processes. Communications of ACM, 1978, 21: 666-677.
    [3]
    Hoare C A R. Communicating sequential processes. Prentice Hall, New York, 1985. ……….

Catalog

    Article views (5) PDF downloads (1549) Cited by()
    Related

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return