Finite divergence

DOI10.1016/0304-3975(94)00145-9zbMATH Open0874.68269OpenAlexW2912480327MaRDI QIDQ673876FDOQ673876

Authors: Michael R. Hansen, Paritosh K. Pandya, Zhou Chaochen 

Publication date: 28 February 1997

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(94)00145-9

Recommendations

• scientific article; zbMATH DE number 4023921
• Convergence from divergence
• A limiting case for the divergence equation
• Divergence
• Asymptotic Divergences and Strong Dichotomy
• Asymptotic Divergences and Strong Dichotomy.
• scientific article; zbMATH DE number 1095755
• The Divergence Theorem
• scientific article; zbMATH DE number 2028711
• scientific article; zbMATH DE number 5018723

zbMATH Keywords

hybrid systemsdiscrete divergence

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• A calculus of durations
• Hybrid systems
• A brief history of Timed CSP
• Title not available (Why is that?)
• Decidability of mean value calculus
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (10)

• A KLEENE THEOREM FOR LANGUAGES OF WORDS INDEXED BY LINEAR ORDERINGS
• REASONING ABOUT TRANSFINITE SEQUENCES
• A limiting case for the divergence equation
• Automata on linear orderings
• Duration calculus: Logical foundations
• Timed substitutions for regular signal-event languages
• A duration calculus with infinite intervals
• Metric temporal reasoning with less than two clocks
• Quantitative temporal logics over the reals: PSpace and below
• Convergence from divergence

This page was built for publication: Finite divergence

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