On abstract interpretation of mobile ambients
type: Item
instance of: scholarly article
title: On abstract interpretation of mobile ambients
zbMATH Open document ID: 1078.68096
author: Francesca Levi
author: Sergio Maffeis
published in: Information and Computation
publication date: 2004-11-23T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 2118431
zbMATH Keywords: Mobile Ambients
zbMATH Keywords: Static analysis
zbMATH Keywords: Abstract interpretation
MaRDI profile type: Publication
full work available at URL: j.ic.2003.06.001
OpenAlex ID: W2074638034
cites work: Q2763674
cites work: Orderly communication in the ambient calculus.
cites work: The gamma model and its discipline of programming
cites work: Q4790353
cites work: Secure safe ambients
cites work: Q4536435
cites work: Mobile ambients
cites work: Types for the ambient calculus
cites work: Q4737001
cites work: ``A la Burstall'' intermittent assertions induction principles for proving inevitability properties of programs
cites work: Q2766538
cites work: Q2766539
cites work: Q4778710
cites work: Typing evolving ambients
cites work: Q4494378
cites work: Controlling interference in ambients
cites work: Q4778709
cites work: Shape analysis for mobile ambients
cites work: Q4255591
DOI: 10.1016/J.IC.2003.06.001
Recommended article: Q4494378
Recommended article: Q4778709
Recommended article: Abstract interpretation of mobile ambients.
Recommended article: A fully abstract model for mobile ambients
Recommended article: Q4222941
Recommended article: Abstract interpretation of mobile systems
Recommended article: Q4737001
Recommended article: On the Expressiveness of Pure Mobile Ambients
Recommended article: Q2729057
Recommended article: Q4778710
description: scientific article; zbMATH DE number 2118431