A general conservative extension theorem in process algebras with inequalities

Pedro R. d' Argenio, Chris Verhoef

    Research output: Book/ReportReportOther research output

    15 Downloads (Pure)

    Fingerprint Dive into the research topics of 'A general conservative extension theorem in process algebras with inequalities'. Together they form a unique fingerprint.

    Mathematics