scientific article; zbMATH DE number 1487853

zbMath0957.68079MaRDI QIDQ4494378

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

Publication date: 10 August 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

\(\pi\)-calculusambient calculus

Mathematics Subject Classification ID

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

Related Items (15)

Nesting analysis of mobile ambients ⋮ On abstract interpretation of mobile ambients ⋮ Hybrid logical analyses of the ambient calculus ⋮ A typed encoding of boxed into safe ambients ⋮ When ambients cannot be opened ⋮ Abstract interpretation of mobile systems ⋮ Types for the ambient calculus ⋮ Abstract interpretation based verification of temporal properties for BioAmbients ⋮ Flow-sensitive type systems and the ambient calculus ⋮ Cryptographic Analysis in Cubic Time ⋮ A Type Inference Algorithm for Secure Ambients ⋮ A Fully Abstract Model for Mobile Ambients ⋮ Static analysis for the \(\pi\)-calculus with applications to security ⋮ Validating firewalls using flow logics ⋮ Security boundaries in mobile ambients

This page was built for publication: