Koko Muroya, Takahiro Sanada, Natsuki Urabe. Preorder-Constrained Simulation for Nondeterministic Automata (Early Ideas). In Fabio Gadducci, Alexandra Silva 0001, editors, 9th Conference on Algebra and Coalgebra in Computer Science, CALCO 2021, August 31 to September 3, 2021, Salzburg, Austria. Volume 211 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. [doi]
Abstract is missing.