Non-structural subtype entailment in automata theory

Joachim Niehren, Tim Priesnitz. Non-structural subtype entailment in automata theory. Inf. Comput., 186(2):319-354, 2003. [doi]

Abstract

Abstract is missing.