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
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;
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
DOI :
10.1109/TIME.2001.930721
