共 8 条
- [1] Chandy K.M., 1988, Parallel Program Design: A Foundation
- [2] JARVINEN HM, 1990, 12TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, P63, DOI 10.1109/ICSE.1990.63604
- [3] Kurki-Suonio R, 1999, FR ART INT, V51, P1
- [4] Abstractions of distributed cooperation, their refinement and implementation [J]. SOFTWARE ENGINEERING FOR PARALLEL AND DISTRIBUTED SYSTEMS - INTERNATIONAL SYMPOSIUM PROCEEDINGS, 1998, : 94 - 102
- [5] THE TEMPORAL LOGIC OF ACTIONS [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1994, 16 (03): : 872 - 923
- [6] LAMPORT L, 1997, 1997030A DIG SYST RE
- [7] MIKKONEN T, 1999, PUBLICATIONS TAMPERE, V249