Type systems for concurrent processes: From deadlock-freedom to livelock-freedom, time-boundedness,

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

1 Pith paper citing it

open at publisher browse 1 citing papers

representative citing papers

cs.CR · 2026-06-25 · unverdicted · novelty 7.0

Extended type-based information flow analysis for pi-calculus to support dynamically extensible security lattices.

Showing 1 of 1 citing paper.

Type-based information flow analysis for $\pi$-calculus with a dynamically extensible security lattice cs.CR · 2026-06-25 · unverdicted · none · ref 25
Extended type-based information flow analysis for pi-calculus to support dynamically extensible security lattices.