Weak MSO: automata and expressiveness modulo bisimilarity.

Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi

Browse the full CSL paper archive.