• Articles • Previous Articles     Next Articles

The ECSP Language and Its Implementation

Zheng Jianping; Song Guoxing;   

  1. East China University of Chemical Technology; Shanghai 200237;
  • Online:1991-07-10 Published:1991-07-10

The ECSP language is a concurrent programming language following Hoare s proposals of Communicating Sequential Processes.To study the language,an implementation tool is designed. Based mainly on replacement,the method to execute the ECSP programs enables investigators to extend or revise the language flexibly.By formalizing this method,locality and validity of the implementation can be easily reached.

Key words: mobile IP,softnet,active network,mobile agent,virtual network;



[1] Apt,K., Proving correctness of CSP programs:a tutorial. In:Control Flow acrd Data Flow:Concepts of Disrribuled Progranvning, Manfred Broy Ed., Springer-Verlag, Berlin, Heiderberg, 1985.

[2] Hoare.C.A.R., Communicating sequential processes. Convre.of ACM, 21:8 (1978), 666-677.

[3] Plotkin.G.D., An operational semantics for CSP.In:Formal Description of Progranvning Concepts, D.Bjorner Ed., North-Holland, IFIP 1983,199-225.
No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
[1] Liu Mingye; Hong Enyu;. Some Covering Problems and Their Solutions in Automatic Logic Synthesis Systems[J]. , 1986, 1(2): 83 -92 .
[2] Chen Shihua;. On the Structure of (Weak) Inverses of an (Weakly) Invertible Finite Automaton[J]. , 1986, 1(3): 92 -100 .
[3] Gao Qingshi; Zhang Xiang; Yang Shufan; Chen Shuqing;. Vector Computer 757[J]. , 1986, 1(3): 1 -14 .
[4] Chen Zhaoxiong; Gao Qingshi;. A Substitution Based Model for the Implementation of PROLOG——The Design and Implementation of LPROLOG[J]. , 1986, 1(4): 17 -26 .
[5] Huang Heyan;. A Parallel Implementation Model of HPARLOG[J]. , 1986, 1(4): 27 -38 .
[6] Min Yinghua; Han Zhide;. A Built-in Test Pattern Generator[J]. , 1986, 1(4): 62 -74 .
[7] Tang Tonggao; Zhao Zhaokeng;. Stack Method in Program Semantics[J]. , 1987, 2(1): 51 -63 .
[8] Min Yinghua;. Easy Test Generation PLAs[J]. , 1987, 2(1): 72 -80 .
[9] Zhu Hong;. Some Mathematical Properties of the Functional Programming Language FP[J]. , 1987, 2(3): 202 -216 .
[10] Li Minghui;. CAD System of Microprogrammed Digital Systems[J]. , 1987, 2(3): 226 -235 .

ISSN 1000-9000(Print)

         1860-4749(Online)
CN 11-2296/TP

Home
Editorial Board
Author Guidelines
Subscription
Journal of Computer Science and Technology
Institute of Computing Technology, Chinese Academy of Sciences
P.O. Box 2704, Beijing 100190 P.R. China
Tel.:86-10-62610746
E-mail: jcst@ict.ac.cn
 
  Copyright ©2015 JCST, All Rights Reserved