A temporal Logic for reasoning about Timed Concurrent Constraint Programs

F.S. de Boer; M. Gabbrielli; M.C. Meo

doi:10.1109/TIME.2001.930721

A temporal Logic for reasoning about Timed Concurrent Constraint Programs

F.S. de Boer
, M. Gabbrielli
, M.C. Meo

Dept of Information and Computing Sciences

extern

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

Abstract

A temporal logic is presented for reasoning about the correctness of timed concurrent constraint programs. The logic is based on epistemic modalities which express either what a process knows at a certain time or what a process believes about the results of the other processes. In terms of these epistemic modalities of “knowledge ” and “belief” a compositional axiomatization is given of the reactive behaviour of timed concurrent constraint programs

Original language	English
Title of host publication	Eighth International Symposium on Temporal Representation and Reasoning TIME 2001, 14-16 June 2001Cividale del Friuli, Italy
Subtitle of host publication	Proceedings
Publisher	IEEE
Pages	227 - 233
ISBN (Print)	0-7695-1 107-4
DOIs	https://doi.org/10.1109/TIME.2001.930721
Publication status	Published - 2001

Publication series

Name	Proceedings - International Workshop on Temporal Representation and Reasoning
Volume	8
ISSN (Print)	1530-1311

Keywords

Wiskunde en Informatica (WIIN)

Access to Document

10.1109/TIME.2001.930721

Cite this

de Boer, F. S., Gabbrielli, M., & Meo, M. C. (2001). A temporal Logic for reasoning about Timed Concurrent Constraint Programs. In Eighth International Symposium on Temporal Representation and Reasoning TIME 2001, 14-16 June 2001Cividale del Friuli, Italy : Proceedings (pp. 227 - 233). (Proceedings - International Workshop on Temporal Representation and Reasoning ; Vol. 8). IEEE. https://doi.org/10.1109/TIME.2001.930721

@inproceedings{da81f02e0b5c45d3b7de3949ab590d11,

title = "A temporal Logic for reasoning about Timed Concurrent Constraint Programs",

abstract = "A temporal logic is presented for reasoning about the correctness of timed concurrent constraint programs. The logic is based on epistemic modalities which express either what a process knows at a certain time or what a process believes about the results of the other processes. In terms of these epistemic modalities of “knowledge ” and “belief” a compositional axiomatization is given of the reactive behaviour of timed concurrent constraint programs",

keywords = "Wiskunde en Informatica (WIIN)",

author = "\{de Boer\}, F.S. and M. Gabbrielli and M.C. Meo",

year = "2001",

doi = "10.1109/TIME.2001.930721",

language = "English",

isbn = " 0-7695-1 107-4",

series = "Proceedings - International Workshop on Temporal Representation and Reasoning ",

publisher = "IEEE",

pages = "227 -- 233",

booktitle = "Eighth International Symposium on Temporal Representation and Reasoning TIME 2001, 14-16 June 2001Cividale del Friuli, Italy",

address = "United States",

}

de Boer, FS, Gabbrielli, M & Meo, MC 2001, A temporal Logic for reasoning about Timed Concurrent Constraint Programs. in Eighth International Symposium on Temporal Representation and Reasoning TIME 2001, 14-16 June 2001Cividale del Friuli, Italy : Proceedings . Proceedings - International Workshop on Temporal Representation and Reasoning , vol. 8, IEEE, pp. 227 - 233. https://doi.org/10.1109/TIME.2001.930721

A temporal Logic for reasoning about Timed Concurrent Constraint Programs. / de Boer, F.S.; Gabbrielli, M.; Meo, M.C.
Eighth International Symposium on Temporal Representation and Reasoning TIME 2001, 14-16 June 2001Cividale del Friuli, Italy : Proceedings . IEEE, 2001. p. 227 - 233 (Proceedings - International Workshop on Temporal Representation and Reasoning ; Vol. 8).

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

TY - GEN

T1 - A temporal Logic for reasoning about Timed Concurrent Constraint Programs

AU - de Boer, F.S.

AU - Gabbrielli, M.

AU - Meo, M.C.

PY - 2001

Y1 - 2001

N2 - A temporal logic is presented for reasoning about the correctness of timed concurrent constraint programs. The logic is based on epistemic modalities which express either what a process knows at a certain time or what a process believes about the results of the other processes. In terms of these epistemic modalities of “knowledge ” and “belief” a compositional axiomatization is given of the reactive behaviour of timed concurrent constraint programs

AB - A temporal logic is presented for reasoning about the correctness of timed concurrent constraint programs. The logic is based on epistemic modalities which express either what a process knows at a certain time or what a process believes about the results of the other processes. In terms of these epistemic modalities of “knowledge ” and “belief” a compositional axiomatization is given of the reactive behaviour of timed concurrent constraint programs

KW - Wiskunde en Informatica (WIIN)

U2 - 10.1109/TIME.2001.930721

DO - 10.1109/TIME.2001.930721

M3 - Conference contribution

SN - 0-7695-1 107-4

T3 - Proceedings - International Workshop on Temporal Representation and Reasoning

SP - 227

EP - 233

BT - Eighth International Symposium on Temporal Representation and Reasoning TIME 2001, 14-16 June 2001Cividale del Friuli, Italy

PB - IEEE

ER -

de Boer FS, Gabbrielli M, Meo MC. A temporal Logic for reasoning about Timed Concurrent Constraint Programs. In Eighth International Symposium on Temporal Representation and Reasoning TIME 2001, 14-16 June 2001Cividale del Friuli, Italy : Proceedings . IEEE. 2001. p. 227 - 233. (Proceedings - International Workshop on Temporal Representation and Reasoning ). doi: 10.1109/TIME.2001.930721

A temporal Logic for reasoning about Timed Concurrent Constraint Programs

Abstract

Publication series

Keywords

Access to Document

Fingerprint

Cite this