Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Mohammad Reza Mousavi. Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras. In Giorgio Ausiello, Juhani Karhumäki, Giancarlo Mauri, C.-H. Luke Ong, editors, Fifth IFIP International Conference On Theoretical Computer Science - TCS 2008, IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy. Volume 273 of IFIP, pages 301-316, Springer, 2008. [doi]
Abstract is missing.