Type-Based Enforcement of Non-Interference for Choreographic Programming
• Computer Science > Programming Languages [Submitted on 25 Feb 2026] Title:Type-Based Enforcement of Non-Interference for Choreographic Programming View PDF HTML (experimental)Abs