scientific article; zbMATH DE number 1487853

MaRDI QIDQ4494378zbMATH OpenFDO

Authors René Rydhof Hansen, Jacob Grydholt Jensen, Flemming Nielson, Hanne Riis Nielson

Publication date 10 August 2000

zbMATH Keywords

\(\pi\)-calculusambient calculus

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• On abstract interpretation of mobile ambients
• Abstract interpretation of mobile ambients.
• scientific article; zbMATH DE number 1832231
• scientific article; zbMATH DE number 1231618
• A fully abstract model for mobile ambients
• On the expressiveness of pure mobile ambients
• Abstract interpretation of mobile systems
• scientific article; zbMATH DE number 2086520
• scientific article; zbMATH DE number 1629945
• Mobile ambients

Cited in

(28)

• Flow-sensitive type systems and the ambient calculus
• Abstract interpretation of mobile ambients.
• Mobile ambients
• Validating firewalls using flow logics
• When ambients cannot be opened
• Abstract interpretation of mobile systems
• Static analysis for the \(\pi\)-calculus with applications to security
• Security boundaries in mobile ambients
• Nesting analysis of mobile ambients
• On abstract interpretation of mobile ambients
• A typed encoding of boxed into safe ambients
• Types for the ambient calculus
• Occurrence counting analysis for the pi-calculus
• scientific article; zbMATH DE number 1617321 (Why is no real title available?)
• scientific article; zbMATH DE number 1629945 (Why is no real title available?)
• Shape analysis for mobile ambients
• Cryptographic analysis in cubic time
• A type inference algorithm for secure ambients
• A fully abstract model for mobile ambients
• Behavioral theory for mobile ambients
• Deriving Structural Labelled Transitions for Mobile Ambients
• scientific article; zbMATH DE number 1953024 (Why is no real title available?)
• scientific article; zbMATH DE number 2087554 (Why is no real title available?)
• scientific article; zbMATH DE number 1832231 (Why is no real title available?)
• scientific article; zbMATH DE number 1832232 (Why is no real title available?)
• Shape analysis for mobile ambients
• Hybrid logical analyses of the ambient calculus
• Abstract interpretation based verification of temporal properties for BioAmbients

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 Q4494378)