DocumentCode
3201979
Title
A temporal logic for reasoning about timed concurrent constraint programs
Author
de Boer, F.S. ; Gabbrielli, M. ; Meo, M.C.
Author_Institution
Utrecht Univ., Netherlands
fYear
2001
fDate
2001
Firstpage
227
Lastpage
233
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
constraint handling; inference mechanisms; temporal logic; compositional axiomatization; correctness; epistemic modalities; reasoning; temporal logic; timed concurrent constraint programs; Algebra; Computer applications; Control systems; Logic functions; Logic programming; Process control; Real time systems; Signal processing; Time factors; Timing;
fLanguage
English
Publisher
ieee
Conference_Titel
Temporal Representation and Reasoning, 2001. TIME 2001. Proceedings. Eighth International Symposium on
Conference_Location
Cividale del Friuli
Print_ISBN
0-7695-1107-4
Type
conf
DOI
10.1109/TIME.2001.930721
Filename
930721
Link To Document