The logic of event clocks

Raskin, Jean-Francois; Schobbens, Pierre-Yves

Item

ITEM ACTIONSEXPORT

Add to Basket

Local TagsRelease HistoryDetailsSummary

Released

Report

The logic of event clocks

MPS-Authors

There are no MPG-Authors in the publication available

External Resource

No external resources are shared

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

Fulltext (public)

MPI-I-1999-3-002.pdf
(Any fulltext), 439KB

Supplementary Material (public)

There is no public supplementary material available

Citation

Raskin, J.-F., & Schobbens, P.-Y.(1999). The logic of event clocks (MPI-I-1999-3-002). Saarbrücken: Max-Planck-Institut für Informatik.

Cite as: https://hdl.handle.net/11858/00-001M-0000-0014-6F49-7

Abstract

In this paper we define the real-time {\em logic of event clocks}. This logic is inspired from {\em 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.