IFIP
IFIP International Conference on Theoretical Computer Science
Software Analysis and Transformation

Aceto, L, Fokkink, W.J, Ingólfsdóttir, A, & Mousavi, M.R. (2008). Lifting non-finite axiomatizability results to extensions of process algebras. In Proc. 5th Conference on Theoretical Computer Science (logic and semantics track) (pp. 301–316). IFIP.