Manuscript Oai283-A@1 · Oai283-A.tex · section · 6fb75895
The unchanged XXII-C carrier
Finite futures, three-relation typing, and cone obstructions › The unchanged XXII-C carrier · lines 1276–1283
For a countably indexed family of separately tested tripartite processes, draw within-trial directed edges when , and no edges between different trials. Collapse strongly connected components and order the quotient by reachability.