Richer interface automata with optimistic and pessimistic compatibility

Gerald Lüttgen, Walter Vogler, Sascha Fendrich. Richer interface automata with optimistic and pessimistic compatibility. Acta Informatica, 52(4-5):305-336, 2015. [doi]

Abstract

Abstract is missing.