Quantifying the similarity of non-bisimilar labelled transition systems

Gwen Salaün. Quantifying the similarity of non-bisimilar labelled transition systems. Science of Computer Programming, 202:102580, 2021. [doi]

Abstract

Abstract is missing.