We will discuss various issues related the notion of time granularity. We will start by showing how such notion can be used to provide a common framework to (metric) tense logics and (real-time) temporal logics of programs. Then we will present a few logics allowing to specify the timed behavior of a system at different levels of granularity. For such logics decidability results and problems, together with techniques for their study, will be presented. We will conclude with a recent proposal for a modal counterpart of time granularity operators.
The way to go: Multi-level temporal logics / A., Montanari; Peron, Adriano; A., Policriti. - STAMPA. - (1999), pp. 90-101. (Intervento presentato al convegno International workshop on Specification and Verification of Timed Systems tenutosi a Kyoto, Research Institute of Mathematical Science nel 3-4 marzo 1999).
The way to go: Multi-level temporal logics.
PERON, ADRIANO;
1999
Abstract
We will discuss various issues related the notion of time granularity. We will start by showing how such notion can be used to provide a common framework to (metric) tense logics and (real-time) temporal logics of programs. Then we will present a few logics allowing to specify the timed behavior of a system at different levels of granularity. For such logics decidability results and problems, together with techniques for their study, will be presented. We will conclude with a recent proposal for a modal counterpart of time granularity operators.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
