Capturing Fair Computations on Concurrent Constraint Language

被引：1
|
作者：
Campli, Paola [1 ]
Bistarelli, Stefano [1 ]
机构：
[1] Univ G Annunzio Chieti Pescara, Dipartimento Sci, Chieti, Italy
来源：
LOGIC PROGRAMMING | 2009年 / 5649卷
关键词：
D O I：
10.1007/978-3-642-02846-5_63
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：559 / 560
页数：2
相关论文
共 50 条
  • [1] A timed concurrent constraint language
    de Boer, FS
    Gabbrielli, M
    Meo, MC
    [J]. INFORMATION AND COMPUTATION, 2000, 161 (01) : 45 - 83
  • [2] Extending a concurrent constraint language by propagators
    Muller, T
    Wurtz, J
    [J]. LOGIC PROGRAMMING - PROCEEDINGS OF THE 1997 INTERNATIONAL SYMPOSIUM, 1997, : 149 - 163
  • [3] A distributed and probabilistic concurrent constraint programming language
    Bortolussi, L
    Wiklicky, H
    [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2005, 3668 : 143 - 158
  • [4] A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation
    Bistarelli, Stefano
    Santini, Francesco
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 236 : 147 - 162
  • [5] Concurrent Constraint Programming:A Language and Its Execution Model
    廖乐健
    曹元大
    [J]. Journal of Beijing Institute of Technology, 2003, (01) : 37 - 41
  • [6] Semantics and expressive power of a timed concurrent constraint language
    de Boer, F
    Gabbrielli, M
    Meo, MC
    [J]. PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 97, 1997, 1330 : 47 - 61
  • [7] Programming robotic devices with a timed concurrent constraint language
    Muñoz, MD
    Hurtado, AR
    [J]. PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2004, PROCEEDINGS, 2004, 3258 : 803 - 803
  • [8] A Secure Non-monotonic Soft Concurrent Constraint Language
    Bistarelli, Stefano
    Santini, Francesco
    [J]. FUNDAMENTA INFORMATICAE, 2014, 134 (3-4) : 261 - 285
  • [9] A Nonmonotonic Soft Concurrent Constraint Language to Model the Negotiation Process
    Bistarelli, Stefano
    Santini, Francesco
    [J]. FUNDAMENTA INFORMATICAE, 2011, 111 (03) : 257 - 279
  • [10] Distributed typed concurrent objects: a programming language for distributed computations with mobile resources
    Figueira, AR
    Paulino, H
    Lopes, L
    Silva, F
    [J]. JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2003, 9 (08) : 745 - 760
12345