Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras

by Luca Aceto , Wan Fokkink , Anna Ingólfsdóttir , MohammadReza Mousavi
Citations:3 - 1 self