A general conservative extension theorem in process algebras with inequalities

PEDRO R. D'ARGENIO

Eindhoven, Los Países Bajos

Workshop; 2nd. Workshop ACP95; 1995

A general conservative extension theorem for process algebras with inequalities is stated. General results for proving operational conservative extension up to a semantic preorder and equational conservative extension of equational specifications with inequalities are proposed. The proof of these facts reduces to check some simple conditions in the term deduction system of the process theory. A general theorem for proving completeness in extended process algebras with inequalities is given as a corollary.