No pages link to Publications:Lifting non-finite axiomatizability results to extensions of process algebras.
Home
Research
Education
Partners
People
Contact