You have Guest access.
Log In
Volume 1 / 1971 - Volume 49 / 2012
147-177
Original Article
Lifting non-finite axiomatizability results to extensions of process algebras
Luca Aceto, Wan Fokkink, Anna Ingolfsdottir and MohammadReza Mousavi
179-207
LR error repair using the A* algorithm
Ik-Soon Kim and Kwangkeun Yi
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info