Filters: Author is Chris Verhoef [Clear All Filters]
“A General Conservative Extension Theorem in Process Algebras with Inequalities”, Theoretical Computer Science, vol. 177, pp. 351-380, 1997. paper-214.pdf (2.23 MB)
, “A general conservative extension theorem in process algebras with inequalities”, in Proceedings of the 2nd. Workshop ACP'95, 1995, pp. 67-79. paper-224.pdf (151.74 KB)
,