𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Lifting non-finite axiomatizability results to extensions of process algebras

✍ Scribed by Luca Aceto; Wan Fokkink; Anna Ingolfsdottir; MohammadReza Mousavi


Publisher
Springer-Verlag
Year
2010
Tongue
English
Weight
382 KB
Volume
47
Category
Article
ISSN
0001-5903

No coin nor oath required. For personal study only.