²We do not worry here about the frequency with which the date gets increased, the possible synchronization problems in a distributed setting, or with any other issues related to the specification of time. See the papers [105, 107] on the specification of real-time systems in rewriting logic and Maude for a discussion on these issues.