Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras
Acta Informatica - Germany
doi 10.1007/s00236-010-0114-7
Full Text
Open PDFAbstract
Available in full text
Date
February 4, 2010
Authors
Publisher
Springer Science and Business Media LLC