A generalised theory of Interface Automata, component compatibility and error

Sascha Fendrich, Gerald Lüttgen. A generalised theory of Interface Automata, component compatibility and error. Acta Informatica, 56(4):287-319, 2019. [doi]

Abstract

Abstract is missing.