To that end, let 𝐿∈NL(𝜌 2), and suppose for contradiction that 𝐿∉Ω ′

⊆Ω ′, so we need only show that NL(𝜌 2) ⊆Ω ′

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

browse 1 citing papers

representative citing papers

cs.PL · 2026-05-21 · unverdicted · novelty 7.0

Presents λ⤊ as the first functional choreographic calculus with dynamic process forking that guarantees deadlock freedom.

Showing 1 of 1 citing paper.

Step in Tine: Forking Processes in Functional Choreographies cs.PL · 2026-05-21 · unverdicted · none · ref 7
Presents λ⤊ as the first functional choreographic calculus with dynamic process forking that guarantees deadlock freedom.