Non-determinism and Probabilities in Timed Concurrent Constraint Programming

Jorge A. Pérez; Camilo Rueda

doi:10.1007/978-3-540-89982-2_56

Non-determinism and Probabilities in Timed Concurrent Constraint Programming

Jorge A. Pérez, Camilo Rueda

Fundamental Computing

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

8 Citations (Scopus)

Abstract

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.

Original language	English
Title of host publication	Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings
Editors	Garcia de la Banda, M. Pontelli
Place of Publication	Berlin
Publisher	Springer
Pages	677-681
Number of pages	5
ISBN (Electronic)	978-3-540-89982-2
ISBN (Print)	978-3-540-89981-5
DOIs	https://doi.org/10.1007/978-3-540-89982-2_56
Publication status	Published - 2008
Event	Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008 - Udine, Italy Duration: 9-Dec-2015 → 13-Dec-2015

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	5366
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008
Country/Territory	Italy
City	Udine
Period	09/12/2015 → 13/12/2015

Access to Document

10.1007/978-3-540-89982-2_56

http://dx.doi.org/10.1007/978-3-540-89982-2_56

Handle.net

Persistent link

Embargoed Document

Non-determinism and Probabilities in Timed Concurrent Constraint Programming
Final publisher's version, 136 KB
Request copy

Cite this

Pérez, J. A., & Rueda, C. (2008). Non-determinism and Probabilities in Timed Concurrent Constraint Programming. In G. de la Banda, & M. Pontelli (Eds.), Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings (pp. 677-681). (Lecture Notes in Computer Science ; Vol. 5366). Springer. https://doi.org/10.1007/978-3-540-89982-2_56

@inproceedings{dd5ec65633a443bc87dd1360203808b8,

title = "Non-determinism and Probabilities in Timed Concurrent Constraint Programming",

abstract = "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.",

author = "P{\'e}rez, {Jorge A.} and Camilo Rueda",

year = "2008",

doi = "10.1007/978-3-540-89982-2_56",

language = "English",

isbn = "978-3-540-89981-5",

series = "Lecture Notes in Computer Science ",

publisher = "Springer",

pages = "677--681",

editor = "{ de la Banda}, { Garcia } and M. Pontelli",

booktitle = "Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings",

note = "Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008 ; Conference date: 09-12-2015 Through 13-12-2015",

}

Pérez, JA & Rueda, C 2008, Non-determinism and Probabilities in Timed Concurrent Constraint Programming. in G de la Banda & M Pontelli (eds), Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings. Lecture Notes in Computer Science , vol. 5366, Springer, Berlin, pp. 677-681, Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Udine, Italy, 09/12/2015. https://doi.org/10.1007/978-3-540-89982-2_56

Non-determinism and Probabilities in Timed Concurrent Constraint Programming. / Pérez, Jorge A.; Rueda, Camilo.
Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings. ed. / Garcia de la Banda; M. Pontelli. Berlin: Springer, 2008. p. 677-681 (Lecture Notes in Computer Science ; Vol. 5366).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Non-determinism and Probabilities in Timed Concurrent Constraint Programming

AU - Pérez, Jorge A.

AU - Rueda, Camilo

PY - 2008

Y1 - 2008

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-540-89982-2_56

DO - 10.1007/978-3-540-89982-2_56

M3 - Conference contribution

SN - 978-3-540-89981-5

T3 - Lecture Notes in Computer Science

SP - 677

EP - 681

BT - Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings

A2 - de la Banda, Garcia

A2 - Pontelli, M.

PB - Springer

CY - Berlin

T2 - Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008

Y2 - 9 December 2015 through 13 December 2015

ER -

Non-determinism and Probabilities in Timed Concurrent Constraint Programming

Abstract

Publication series

Conference

Access to Document

Handle.net

Embargoed Document

Fingerprint

Cite this