Error message

  • Notice: Undefined variable: _SESSION in dial_widget_pr_publication_action() (line 140 of /var/www/html/drupal-7.54/sites/all/modules/dial/dial_widget/dial_widget_pr/dial_widget_pr.module).
  • Warning: array_key_exists() expects parameter 2 to be array, null given in dial_widget_pr_publication_action() (line 140 of /var/www/html/drupal-7.54/sites/all/modules/dial/dial_widget/dial_widget_pr/dial_widget_pr.module).

The logic of event clocks: decidability, complexity and expressiveness

Bibliographic reference Schobbens, Pierre-Yves ; Raskin, Jean-Francois. The logic of event clocks: decidability, complexity and expressiveness. In: Journal of automata, languages and combinatorics, vol. 4, no. 3, p. 247-282 (2000)
Permanent URL