A linear-time branching-time perspective on interface automata

Walter Vogler, Gerald Lüttgen. A linear-time branching-time perspective on interface automata. Acta Informatica, 57(3-5):513-550, 2020. [doi]

Abstract

Abstract is missing.