Complementing Emerson-Lei Elevator Automata.

Ondrej Alexaj, Vojtech Havlena, Ondrej Lengl, Yong Li, Nicolas Mazzocchi

Browse the full CONCUR paper archive.