The definition of a temporal clock operator

DOI10.1007/3-540-45061-0_67MaRDI QIDQ4449225zbMATH OpenFDO

Authors Cindy Eisner, Dana Fisman, John W. Havlicek, Anthony McIsaac, David van Campenhout

Publication date 8 February 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2719/27190857.htm

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in computer science (03B70)

Recommendations

• The ForSpec temporal logic: A new temporal property-specification language
• Multiclock Esterel
• Metric temporal reasoning with less than two clocks
• scientific article; zbMATH DE number 1400049
• scientific article; zbMATH DE number 4139719

Cited in

(8)

• An application of temporal projection to interleaving concurrency
• Functional specification of hardware via temporal logic
• From Philosophical to Industrial Logics
• Register transformations with multiple clock domains
• From Monadic Logic to PSL
• Of temporary coalitions in terms of concurrent game models, announcements, and temporal projection
• Specification and verification of multi-clock systems using a temporal logic with clock constraints
• Applications of discrete-time interval-based temporal separation

This page was built for publication: The definition of a temporal clock operator

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4449225)