Independence, name-passing and constraints in models for concurrency

Håkon Normann

Research output: Book / Anthology / Report / Ph.D. thesisPh.D. thesis

Fingerprint

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

Engineering & Materials Science