Recommendations
Cites work
- scientific article; zbMATH DE number 1692944 (Why is no real title available?)
- scientific article; zbMATH DE number 1696438 (Why is no real title available?)
- scientific article; zbMATH DE number 1701350 (Why is no real title available?)
- scientific article; zbMATH DE number 1324833 (Why is no real title available?)
- scientific article; zbMATH DE number 1956599 (Why is no real title available?)
- scientific article; zbMATH DE number 1487853 (Why is no real title available?)
- scientific article; zbMATH DE number 2087550 (Why is no real title available?)
- scientific article; zbMATH DE number 1841829 (Why is no real title available?)
- scientific article; zbMATH DE number 1860626 (Why is no real title available?)
- Abstract interpretation of mobile ambients.
- Controlling interference in ambients
- Linear-time algorithms for testing the satisfiability of propositional horn formulae
- Mobile ambients
- On the complexity analysis of static analyses
- On the complexity of flow-sensitive dataflow analyses
- Security boundaries in mobile ambients
Cited in
(3)
This page was built for publication: Nesting analysis of mobile ambients
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1886451)