Reasoning about Infinite Computations

• 1 November 1994
• journal article
• Published by Elsevier in Information and Computation
• Vol. 115  (1) , 1-37
• https://doi.org/10.1006/inco.1994.1092

Abstract

Keywords

• INFINITE COMPUTATION
• EXPRESSIVE POWER
• EXPRESSIVENESS
• FINITE AUTOMATA
• BUCHI AUTOMATA
• TEMPORAL LOGIC