Integrating efficient records into concurrent constraint programming

被引:0
|
作者
Van, Roy, Peter
Mehl, Michael
Scheidhauer, Ralf
机构
关键词
D O I
暂无
中图分类号
学科分类号
摘要
引用
收藏
相关论文
共 50 条
  • [1] jcc: Integrating timed default concurrent constraint programming into JAVA
    CSE Department, Penn State University, University Park, PA 16802, United States
    不详
    不详
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2003, 2902 : 156 - 170
  • [2] jcc: Integrating timed default concurrent constraint programming into JAVA']JAVA
    Saraswat, V
    Jagadeesan, R
    Gupta, V
    PROGRESS IN ARTIFICIAL INTELLIGENCE-B, 2003, 2902 : 156 - 170
  • [3] Efficient algorithms for program equivalence for confluent concurrent constraint programming
    Pino, Luis F.
    Bonchi, Filippo
    Valencia, Frank
    SCIENCE OF COMPUTER PROGRAMMING, 2015, 111 : 135 - 155
  • [4] Truly concurrent constraint programming
    Gupta, V
    Jagadeesan, R
    Saraswat, VA
    THEORETICAL COMPUTER SCIENCE, 2002, 278 (1-2) : 223 - 255
  • [5] Soft concurrent constraint programming
    Bistarelli, Stefano
    Montanari, Ugo
    Rossi, Francesca
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2006, 7 (03) : 563 - 589
  • [6] Confluence in concurrent constraint programming
    Falaschi, M
    Gabbrielli, M
    Marriott, K
    Palamidessi, C
    ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 1995, 936 : 531 - 545
  • [7] Confluence in concurrent constraint programming
    Falaschi, M
    Gabbrielli, M
    Marriott, K
    Palamidessi, C
    THEORETICAL COMPUTER SCIENCE, 1997, 183 (02) : 281 - 315
  • [8] Models for concurrent constraint programming
    Gupta, Vineet
    Jagadeesan, Radha
    Saraswat, Vijay
    Lecture Notes in Computer Science, 1996, 1119
  • [9] Mobile concurrent constraint programming
    Romero, N
    PARALLEL PROCESSING APPLIED MATHEMATICS, 2002, 2328 : 811 - 818
  • [10] Stochastic Concurrent Constraint Programming
    Bortolussi, Luca
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 164 (03) : 65 - 80