共 50 条
- [1] A multimedia programming model based on timed concurrent constraint programming [J]. COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 1998, 13 (04): : 195 - 205
- [2] Mobile agents based on concurrent constraint programming [J]. MODULAR PROGRAMMING LANGUAGES, PROCEEDINGS, 2001, 1897 : 62 - 75
- [3] Truly concurrent constraint programming [J]. THEORETICAL COMPUTER SCIENCE, 2002, 278 (1-2) : 223 - 255
- [4] Soft concurrent constraint programming [J]. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2006, 7 (03) : 563 - 589
- [5] Confluence in concurrent constraint programming [J]. ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 1995, 936 : 531 - 545
- [6] Mobile concurrent constraint programming [J]. PARALLEL PROCESSING APPLIED MATHEMATICS, 2002, 2328 : 811 - 818
- [7] Confluence in concurrent constraint programming [J]. THEORETICAL COMPUTER SCIENCE, 1997, 183 (02) : 281 - 315
- [10] BISIMILARITY IN CONCURRENT CONSTRAINT PROGRAMMING [J]. TECHNICAL COMMUNICATIONS OF THE 26TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP'10), 2010, 7 : 236 - 240