Lifting non-finite axiomatizability results to extensions of process algebras

L. Aceto, W.J. Fokkink, A. Ingolfsdottir, M.R. Mousavi

Research output: Contribution to JournalArticleAcademicpeer-review

181 Downloads (Pure)

Fingerprint Dive into the research topics of 'Lifting non-finite axiomatizability results to extensions of process algebras'. Together they form a unique fingerprint.

Engineering & Materials Science