Lifting non-finite axiomatizability results to extensions of process algebras

Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Mohammad Reza Mousavi. Lifting non-finite axiomatizability results to extensions of process algebras. Acta Informatica, 47(3):147-177, 2010. [doi]

Abstract

Abstract is missing.