Nesting analysis of mobile ambients
type: Item
instance of: scholarly article
title: Nesting analysis of mobile ambients
zbMATH Open document ID: 1072.68066
author: Chiara Braghin
author: Agostino Cortesi
author: Riccardo Focardi
author: Flaminia L. Luccio
author: Carla Piazza
published in: Computer Languages, Systems \& Structures
publication date: 2004-11-18T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 2116452
zbMATH Keywords: Static analysis
zbMATH Keywords: Ambient calculus
zbMATH Keywords: Complexity
zbMATH Keywords: Tools
Wikidata QID: Q57832144
describes a project that uses: BANANA
MaRDI profile type: Publication
full work available at URL: j.cl.2004.02.004
OpenAlex ID: W2063174604
cites work: Mobile ambients
cites work: Q4494378
cites work: Abstract interpretation of mobile ambients.
cites work: Security boundaries in mobile ambients
cites work: Q4790353
cites work: Q2766538
cites work: Q2763677
cites work: Linear-time algorithms for testing the satisfiability of propositional horn formulae
cites work: Q4417947
cites work: Q4255591
cites work: Controlling interference in ambients
cites work: On the complexity of flow-sensitive dataflow analyses
cites work: On the complexity analysis of static analyses
cites work: Q4783317
cites work: Q2769429
cites work: Q4738360
DOI: 10.1016/J.CL.2004.02.004
description: scientific article; zbMATH DE number 2116452