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]

Authors

Eva Maia

This author has not been identified. Look up 'Eva Maia' in Google

Nelma Moreira

This author has not been identified. Look up 'Nelma Moreira' in Google

Rogério Reis

This author has not been identified. Look up 'Rogério Reis' in Google