Representing and Reasoning about Temporal Granularities

DOI10.1093/logcom/14.1.51zbMath1085.68087OpenAlexW2120073000MaRDI QIDQ4461352

Carlo Combi, Adriano Peron, Massimo Franceschet

Publication date: 30 March 2004

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/14.1.51

zbMATH Keywords

formal specificationgranularitytemporal logicscalendar specificationTemporal representation and reasoning

Mathematics Subject Classification ID

Database theory (68P15) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (6)

A mathematical framework for the semantics of symbolic languages representing periodic time ⋮ Compact and tractable automaton-based representations of time granularities ⋮ Modelling temporal behaviour in complex systems with Timebands ⋮ A timeband framework for modelling real-time systems ⋮ LTL over integer periodicity constraints ⋮ A theory of ultimately periodic languages and automata with an application to time granularity

Uses Software

• NuSMV

This page was built for publication: Representing and Reasoning about Temporal Granularities