Interconnections between classes of sequentially compositional temporal formulas

Ben C. Moszkowski. Interconnections between classes of sequentially compositional temporal formulas. Inf. Process. Lett., 113(9):350-353, 2013. [doi]

Abstract

Abstract is missing.