Non-determinism and Probabilities in Timed Concurrent Constraint Programming

被引：6
|
作者：
Perez, Jorge A. [1 ]
Rueda, Carnilo [2 ,3 ]
机构：
[1] Univ Bologna, Dept Comp Sci, I-40126 Bologna, Italy
[2] Univ Javeriana, Dept Comp Engn & Sci, Cali, Colombia
[3] IRCAM, Paris, France
来源：
LOGIC PROGRAMMING, PROCEEDINGS | 2008年 / 5366卷
关键词：
D O I：
10.1007/978-3-540-89982-2_56
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
A timed Concurrent constraint process calculus with probabilistic and non-deterministic choices is proposed. We outline the rationale of an operational semantics for the calculus. The semantics ensures consistent interactions between both kinds of choices and is indispensable for the definition of logic-based verification capabilities over system specifications.
引用
收藏
页码：677 / +
页数：2
相关论文
共 50 条
  • [1] Programming with non-determinism in deductive databases
    Fosca Giannotti
    Sergio Greco
    Domenico Saccà
    Carlo Zaniolo
    [J]. Annals of Mathematics and Artificial Intelligence, 1997, 19 : 97 - 125
  • [2] Programming with non-determinism in deductive databases
    Giannotti, F
    Greco, S
    Sacca, D
    Zaniolo, C
    [J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1997, 19 (1-2) : 97 - 125
  • [3] Typed Non-determinism in Functional and Concurrent Calculi
    van den Heuvel, Bas
    Paulus, Joseph W. N.
    Nantes-Sobrinho, Daniele
    Perez, Jorge A.
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2023, 2023, 14405 : 112 - 132
  • [4] Notes on timed concurrent constraint programming
    Nielsen, M
    Valencia, FD
    [J]. LECTURES ON CONCURRENCY AND PETRI NETS: ADVANCES IN PETRI NETS, 2004, 3098 : 702 - 741
  • [5] Timed default concurrent constraint programming
    Saraswat, V
    Jagadeesan, R
    Gupta, V
    [J]. JOURNAL OF SYMBOLIC COMPUTATION, 1996, 22 (5-6) : 475 - 520
  • [6] Universal timed Concurrent Constraint Programming
    Olarte, Carlos
    Palamidessi, Catuscia
    Valencia, Frank
    [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2007, 4670 : 464 - +
  • [7] Dealing with non-determinism in testing concurrent java components
    Wildman, Luke
    Long, Brad
    Strooper, Paul
    [J]. Proc. Asia Pac. Softw. Eng. Conf. APSEC, (393-400):
  • [8] A Symbolic Model for Timed Concurrent Constraint Programming
    Arias, Jaime
    Guzman, Michell
    Olarte, Carlos
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2015, 312 : 161 - 177
  • [9] Dealing with non-determinism in testing concurrent Java']Java components
    Wildman, L
    Long, B
    Strooper, P
    [J]. 12th Asia-Pacific Software Engineering Conference, Proceedings, 2005, : 393 - 400
  • [10] A multimedia programming model based on timed concurrent constraint programming
    Papadopoulos, GA
    [J]. COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 1998, 13 (04): : 195 - 205
12345