Authors: DARGENIO PR VERHOEF C

Citation: Pr. Dargenio et C. Verhoef, A GENERAL CONSERVATIVE EXTENSION THEOREM IN-PROCESS ALGEBRAS WITH INEQUALITIES, Theoretical computer science, 177(2), 1997, pp. 351-380