de.mpg.escidoc.pubman.appbase.FacesBean
English
 
Help Guide Disclaimer Contact us Login
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT

Released

Report

The logic of event clocks

MPS-Authors
There are no MPG-Authors available
Locator
There are no locators available
Fulltext (public)

1999-3-002
(Any fulltext), 10KB

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: http://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.