Handling Infinitely Branching WSTS

Michael Blondin, Alain Finkel, Pierre McKenzie. Handling Infinitely Branching WSTS. In Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias, editors, Automata, Languages, and Programming - 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II. Volume 8573 of Lecture Notes in Computer Science, pages 13-25, Springer, 2014. [doi]

Authors

Michael Blondin

This author has not been identified. Look up 'Michael Blondin' in Google

Alain Finkel

This author has not been identified. Look up 'Alain Finkel' in Google

Pierre McKenzie

This author has not been identified. Look up 'Pierre McKenzie' in Google