共 50 条
- [32] A HOL MECHANIZATION OF THE AXIOMATIC SEMANTICS OF A SIMPLE DISTRIBUTED-PROGRAMMING LANGUAGE [J]. IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1993, 20 : 347 - 356
- [33] AN OBJECT-BASED TOOL AND METHODOLOGICAL APPROACH FOR DISTRIBUTED-PROGRAMMING [J]. SOFTWARE-CONCEPTS AND TOOLS, 1994, 15 (04): : 177 - 195
- [34] A SYSTEM SERVICE FOR DISTRIBUTED-PROGRAMMING AND EXECUTION IN COMMUNICATION-ORIENTED DISTRIBUTED OPERATING MEDIA [J]. MICROPROCESSING AND MICROPROGRAMMING, 1988, 23 (1-5): : 279 - 281
- [36] Concurrent test systems using the structured distributed-programming paradigm [J]. 2002 IEEE AUTOTESTCON PROCEEEDINGS, SYSTEMS READINESS TECHNOLOGY CONFERENCE, 2002, : 152 - 163
- [37] USING MESSAGE PASSING FOR DISTRIBUTED-PROGRAMMING - PROOF RULES AND DISCIPLINES [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1984, 6 (03): : 402 - 431
- [38] MODULES, OBJECTS AND DISTRIBUTED-PROGRAMMING - ISSUES IN RPC AND REMOTE OBJECT INVOCATION [J]. SOFTWARE-PRACTICE & EXPERIENCE, 1991, 21 (01): : 77 - 90
- [39] ON THE DESIGN OF A DISTRIBUTED OPERATING SYSTEM USING A HIGH-LEVEL DISTRIBUTED-PROGRAMMING LANGUAGE [J]. MICROPROCESSING AND MICROPROGRAMMING, 1982, 10 (04): : 247 - 254
- [40] PROGRAMMING WITH DISTRIBUTED SHARED MEMORY [J]. PROCEEDINGS : THE THIRTEENTH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 1989, : 176 - 183