Bisimulation as congruence in the behavioral setting

A.A.J. Anak Agung Julius, Arjan van der Schaft

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    6 Citations (Scopus)
    51 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Bisimulation as congruence in the behavioral setting'. Together they form a unique fingerprint.