SCIE, EI, Scopus, INSPEC, DBLP, CSCD, etc.
Citation: | BI Jun, WU Jianping. An Approach to Concurrent TTCN Test Generation[J]. Journal of Computer Science and Technology, 1999, 14(6): 614-618. |
[1] |
Farooqui K, Logrippo L, de Meer Jan. The ISO model for open distributed processing. Computer Networks & ISDN Systems, 1995, 27: special issue.
|
[2] |
Loureiro A A F et al. Checking unstable properties in distributed testing of communication protocols. In 9th International Workshop on Testing of Communicating Systems, IFIP, 1996.
|
[3] |
Kim M, et al. An approach for testing asynchronous communicating systems. In 9th International Workshop on Testing of Communicating Systems, IFIP, 1996. ……….
|
[1] | FAN Xiaocong, XU Dianxiang, HOU Jianmin, ZHENG Guoliang. Reasoning about Concurrent Actionsin Multi-Agent Systems[J]. Journal of Computer Science and Technology, 1999, 14(4): 422-428. |
[2] | wang Zhenyu. ρ Graph: Rendezvous Ordering Graph forAda Concurrent Programs[J]. Journal of Computer Science and Technology, 1998, 13(6): 615-622. |
[3] | Gerard Boudol. Calculi for Concurrent Processes[J]. Journal of Computer Science and Technology, 1998, 13(6): 509. |
[4] | Zhang Yin, Xu Zhuoqun. Concurrent Manipulation of Expanded AVL Trees[J]. Journal of Computer Science and Technology, 1998, 13(4): 325-336. |
[5] | Li Wei, Yang Qiaolin. Functional-Level Fault Simulation with Concurrent and Parallel Mechanisms Using Object-Oriented VLSI Model[J]. Journal of Computer Science and Technology, 1998, 13(2): 147-160. |
[6] | Hao Ruibing, Wu Jianping. A Formal Approach to Protocol Interoperability Testing[J]. Journal of Computer Science and Technology, 1998, 13(1): 79-90. |
[7] | Shuai Dianxun. Concurrent Competitive Wave Approach to Hyper-Distributed Hyper-Parallel AI Processing[J]. Journal of Computer Science and Technology, 1997, 12(6): 543-554. |
[8] | Shuai Dianxun. Asynchronous Superimposition Mechanismsof Concurrent Competitve Waves forHyper-Distributed Hyper-Parallel HeuristicProblem Solving[J]. Journal of Computer Science and Technology, 1997, 12(4): 330-336. |
[9] | Sun Jiachang, Chi Xuebin, Cao Jianwen, Zhang Linbo. Parallel Algorithm Design on Some Distributed Systems[J]. Journal of Computer Science and Technology, 1997, 12(2): 97-104. |
[10] | Zhao Xudong, Feng Yulin. Automatic and Hierarchical Verification for Concurrent Systems[J]. Journal of Computer Science and Technology, 1990, 5(3): 241-249. |