A general conservative extension theorem in process algebras with inequalities
Title | A general conservative extension theorem in process algebras with inequalities |
Publication Type | Conference Paper |
Year of Publication | 1995 |
Authors | D'Argenio, PR |
Editor | Ponse, A, Verhoef, C, van Vlijmen, B |
Conference Name | Proceedings of the 2nd. Workshop ACP'95 |
Publisher | Dept. of Mathematics and Computing Science, Eindhoven University of Technology |
Abstract | 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. (The contents of this article has been upgraded and generalised in TCS 177(2):351-380, 1997.) |
PDF (Full text):