Nesting analysis of mobile ambients
From MaRDI portal
Publication:1886451
DOI10.1016/J.CL.2004.02.004zbMATH Open1072.68066OpenAlexW2063174604WikidataQ57832144 ScholiaQ57832144MaRDI QIDQ1886451FDOQ1886451
Authors: Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza
Publication date: 18 November 2004
Published in: Computer Languages, Systems \& Structures (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.cl.2004.02.004
Recommendations
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Mobile ambients
- Linear-time algorithms for testing the satisfiability of propositional horn formulae
- Title not available (Why is that?)
- On the complexity analysis of static analyses
- Title not available (Why is that?)
- Controlling interference in ambients
- Title not available (Why is that?)
- Abstract interpretation of mobile ambients.
- Title not available (Why is that?)
- Security boundaries in mobile ambients
- Title not available (Why is that?)
- On the complexity of flow-sensitive dataflow analyses
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (3)
Uses Software
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)