Abstract interpretation of mobile systems
type: Item
instance of: scholarly article
title: Abstract interpretation of mobile systems
zbMATH Open document ID: 1066.68087
published in: The Journal of Logic and Algebraic Programming
publication date: 2005-04-18T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 2157579
zbMATH Keywords: Mobility
zbMATH Keywords: \(\pi\)-calculus
zbMATH Keywords: Static analysis
zbMATH Keywords: Abstract interpretation
zbMATH Keywords: Control flow analysis
zbMATH Keywords: Occurrence counting analysis
zbMATH Keywords: Worst case analysis
author: Jerome Feret
MaRDI profile type: Publication
full work available at URL: j.jlap.2004.01.005
OpenAlex ID: W1982746231
cites work: Q4779098
cites work: Flow logic for Dolev–Yao secrecy in cryptographic processes
cites work: Q4536614
cites work: Grammar Analysis and Parsing by Abstract Interpretation
cites work: Abstract Interpretation Frameworks
cites work: Abstract interpretation and application to logic programs
cites work: Q5667469
cites work: Q4385532
cites work: On the security of public key protocols
cites work: Q2736342
cites work: Q4494378
cites work: Q4223018
cites work: A generic type system for the Pi-calculus
cites work: Affine relationships among variables of a program
cites work: A calculus of mobile processes. II
cites work: Q2763677
cites work: Shape analysis for mobile ambients
cites work: On Context-Free Languages
cites work: Q4778708
DOI: 10.1016/J.JLAP.2004.01.005
Recommended article: On abstract interpretation of mobile ambients
Recommended article: Q4778710
Recommended article: Q4494378
Recommended article: Q4778709
Recommended article: Logic Programming
Recommended article: Abstract interpretation of mobile ambients.
Recommended article: Formal Modeling of Mobile Computing Systems Based on Ambient Abstract State Machines
Recommended article: Stream-based specification of mobile systems
description: scientific article; zbMATH DE number 2157579