共 23 条
- [1] Semiring-based Constraint Logic Programming: Syntax and semantics [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2001, 23 (01): : 1 - 29
- [2] DISTRIBUTED SNAPSHOTS - DETERMINING GLOBAL STATES OF DISTRIBUTED SYSTEMS [J]. ACM TRANSACTIONS ON COMPUTER SYSTEMS, 1985, 3 (01): : 63 - 75
- [5] Hermenegildo M., 1999, PARALLELISM IMPLEMEN, P65
- [6] Huhns MN, 1999, MULTIAGENT SYSTEMS, P79
- [7] THE CLP(R) LANGUAGE AND SYSTEM [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1992, 14 (03): : 339 - 395
- [8] JAFFAR J, 1987, 4TH P INT C LOG PROG, P196
- [9] Jennings NR., 1998, Journal of Autonomous Agents and Multi-Agent Systems, V1, P7, DOI [10.1023/A:1010090405266, DOI 10.1023/A:1010090405266]
- [10] Lee R., 1972, J ASSOC COMPUT MACH, V19, P119