The quantitative linear-time-branching-time spectrum

Uli Fahrenberg, Axel Legay. The quantitative linear-time-branching-time spectrum. Theoretical Computer Science, 538:54-69, 2014. [doi]

Abstract

Abstract is missing.