A Theory of History Dependent Abstractions for Learning Interface Automata.

Fides Aarts, Faranak Heidarian, Frits W. Vaandrager

Browse the full CONCUR paper archive.