|
Journal of Automata, Languages and Combinatorics
formerly:
Journal of Information Processing and Cybernetics /
Elektronische Informationsverarbeitung und Kybernetik
|
|
@article{jalc040307,
author = {Raskin, Jean-Fran\c{c}ois and Schobbens, Pierre-Yves},
title = {The Logic of Event Clocks -- Decidability, Complexity and
Expressiveness},
journal = jalc,
year = 1999,
volume = 4,
number = 3,
pages = {247--282},
keywords = {logics of programs, temporal logic, real time,
decidability, complexity, expressiveness},
abstract = {In this paper we define the real-time \emph{logic of
event clocks}. This logic is inspired from \emph{event clock
automata}. The logic is defined, illustrated and shown to be
decidable in {\sc Pspace} by a simple decision procedure
that relies to a reduction to event clock automata.
The expressive power of the logic is compared to known
formalisms.}
}