共 50 条
- [32] A GENERAL-MODEL FOR CONCURRENT AND DISTRIBUTED OBJECT-ORIENTED PROGRAMMING SIGPLAN NOTICES, 1989, 24 (04): : 102 - 104
- [33] A statically verifiable programming model for concurrent object-oriented programs Lect. Notes Comput. Sci., 2006, (420-439):
- [34] Semantics model of the concurrent object-oriented language COOL II Xiaoxing Weixing Jisuanji Xitong/Mini-Micro Systems, 2001, 22 (12):
- [35] A statically verifiable programming model for concurrent object-oriented programs FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2006, 4260 : 420 - 439
- [36] Verifying atomicity specifications for concurrent object-oriented software using model-checking VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2004, 2937 : 175 - 190
- [38] DESIGN OF OBJECT-ORIENTED MODEL FOR QUEUING SIMULATION SOFTWARE VESTNIK TOMSKOGO GOSUDARSTVENNOGO UNIVERSITETA-UPRAVLENIE VYCHISLITELNAJA TEHNIKA I INFORMATIKA-TOMSK STATE UNIVERSITY JOURNAL OF CONTROL AND COMPUTER SCIENCE, 2010, 10 (01): : 89 - 93
- [39] Simulation code generation on WWW using object-oriented manufacturing resource model NETWORK INTELLIGENCE: INTERNET-BASED MANUFACTURING, 2000, 4208 : 84 - 95
- [40] Evaluating the effectiveness of slicing for model reduction of concurrent object-oriented programs TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2006, 3920 : 73 - 89