SCIE, Ei, Scopus, DBLP, CSCD, etc.
Citation: | YING Mingsheng. Topology in Process Calculus (Ⅰ):Limit Behaviour of Agents[J]. Journal of Computer Science and Technology, 1999, 14(4): 328-336. |
[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. ……….
|