scientific article; zbMATH DE number 3890097
From MaRDI portal
Publication:3223330
Recommendations
- scientific article; zbMATH DE number 3940040
- On interference abstractions
- The Structure of General Interference Functions and Applications
- Typed Lambda Calculi and Applications
- Computer Science Logic
- An abstract version of the resonance theorem
- A proof system for abstract non-interference
- scientific article; zbMATH DE number 1437407
- scientific article; zbMATH DE number 4214176
- On interference graphs
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3223330)