Volume: Vol-4269 ICTCS 2026 | Year: 2026

Paper: « paper62 | paper79 | paper17 »

Type-Based Enforcement of Non-Interference for Choreographic Programming

• Marco Bertoni
• Saverio Giallorenzo
• Marco Peressotti

140-154 PDF