Expressive completeness of duration calculus.
type: Item
instance of: scholarly article
title: Expressive completeness of duration calculus.
zbMATH Open document ID: 1046.68606
author: Alexander Rabinovich
published in: Information and Computation
publication date: 2003-01-14T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 1853089
zbMATH Keywords: first-order monadic logic
zbMATH Keywords: specification of real-time systems
MaRDI profile type: Publication
OpenAlex ID: W2028484769
cites work: Q3835817
cites work: Duration calculus: Logical foundations
cites work: Q5641083
cites work: Q4124795
cites work: Q4222923
cites work: Star free expressions over the reals
cites work: Non-elementary lower bound for Propositional Duration Calculus
cites work: On the decidability of continuous time specification formalisms
cites work: Star-free regular sets of ω-sequences
cites work: A calculus of durations
cites work: Q4281508
cites work: A duration calculus with infinite intervals
DOI: 10.1006/INCO.1999.2816
description: scientific article; zbMATH DE number 1853089