Preorder-Constrained Simulation for Nondeterministic Automata (Early Ideas).

Koko Muroya, Takahiro Sanada, Natsuki Urabe

Browse the full CALCO paper archive.