A general conservative extension theorem in process algebras with inequalities / Pedro R. D'Argenio and Chris Verhoef
A general conservative extension theorem in process algebras with inequalities