共 50 条
- [1] USE OF CONCURRENT PASCAL IN INDUSTRIAL-SYSTEMS PROGRAMMING [J]. MICROPROCESSING AND MICROPROGRAMMING, 1984, 14 (3-4): : 155 - 159
- [2] PASCAL-FC - A LANGUAGE FOR TEACHING CONCURRENT PROGRAMMING [J]. SIGPLAN NOTICES, 1988, 23 (01): : 58 - 66
- [3] AN ENVIRONMENT FOR CONCURRENT PROGRAMMING IN PASCAL [J]. MICROPROCESSING AND MICROPROGRAMMING, 1989, 25 (1-5): : 381 - 386
- [6] ON THE USE OF PASCAL FOR POWER FLOW PROGRAMMING [J]. IEEE TRANSACTIONS ON POWER SYSTEMS, 1988, 3 (03) : 1322 - 1327
- [7] EXPERIENCES IN PROGRAMMING AND TRANSPORTING PASCAL SYSTEMS [J]. TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1983, 2 (06): : 401 - 417
- [8] THE PROGRAMMING LANGUAGE PASCAL (IN TEACHING PERSPECTIVE) - TAKE IT OR LEAVE IT [J]. SIGPLAN NOTICES, 1985, 20 (02): : 77 - 79
- [9] Model checking in concurrent programming teaching [J]. EUROCON 2007: THE INTERNATIONAL CONFERENCE ON COMPUTER AS A TOOL, VOLS 1-6, 2007, : 917 - 923
- [10] A Set of Patterns for Concurrent and Parallel Programming Teaching [J]. EURO-PAR 2017: PARALLEL PROCESSING WORKSHOPS, 2018, 10659 : 203 - 215