View gist:a5a4aa8c87ef410682cfc5ee49b19239

Concurrency Theory: Lecture 6, 06 February 2018

Traces

Independence alphabet:

(Sigma, I): I irreflexive and symmetric