Weakest Congruences, Fairness and Compositional Process-Algebraic Verification

A. Puhakka

    Research output: Book/ReportDoctoral thesisCollection of Articles

    39 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Weakest Congruences, Fairness and Compositional Process-Algebraic Verification'. Together they form a unique fingerprint.

    Engineering & Materials Science