Partial Derivative and Position Bisimilarity Automata

Eva Maia, Nelma Moreira, Rogério Reis. Partial Derivative and Position Bisimilarity Automata. In Markus Holzer, Martin Kutrib, editors, Implementation and Application of Automata - 19th International Conference, CIAA 2014, Giessen, Germany, July 30 - August 2, 2014. Proceedings. Volume 8587 of Lecture Notes in Computer Science, pages 264-277, Springer, 2014. [doi]

Abstract

Abstract is missing.