Similar Items: Security Policies as Membranes in Systems for Global Computing
- Global semantic typing for inductive and coinductive computing
- Robust non-computability of dynamical systems and computability of robust dynamical systems
- On the system CL12 of computability logic
- Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis
- On Functions Weakly Computable by Pushdown Petri Nets and Related Systems
- Secure the Clones