Independence, name-passing and constraints in models for concurrency

Håkon Normann

    Research output: Theses › PhD thesis

    Fingerprint

    Dive into the research topics of 'Independence, name-passing and constraints in models for concurrency'. Together they form a unique fingerprint.

    Keyphrases

    Computer Science