An ω-complete equational specification of interleaving (2000)

by W Fokkink, B Luttik
Venue:In Proceedings 27th Colloquium on Automata, Languages and Programming (ICALP’00), Geneva, LNCS 1853