共 50 条
- [22] A case study of the formal specification of a parallel system using CSP CORRECT MODELS OF PARALLEL COMPUTING, 1997, 49 : 68 - 86
- [23] An experiment planner for parallel multidirectional searches using an automated chemistry workstation Lindsey, J.S. (jlindsey@ncsu.edu), 1600, Elsevier (09):
- [24] An Experiment Planner for Parallel Multidirectional Searches Using an Automated Chemistry Workstation JALA, 2004, 9 (06): : 355 - 363
- [25] Evaluation of parallel performance of large scale computing using workstation network Comput Mech, 4 (234-241):
- [28] Architectural Verification of Control Systems Using CSP FORMAL METHODS AND SOFTWARE ENGINEERING, 2011, 6991 : 323 - +
- [29] Parallel program model for distributed systems RECENT ADVANCES IN PARALLEL VIRTUAL MACHINE AND MESSAGE PASSING INTERFACE, PROCEEDINGS, 2000, 1908 : 250 - 257