Hybrid logical analyses of the ambient calculus

DOI10.1016/j.ic.2009.01.006zbMath1200.68160DBLPjournals/iandc/BolanderH10OpenAlexW2126825077WikidataQ57813458 ScholiaQ57813458MaRDI QIDQ964494

René Rydhof Hansen, Thomas Bolander

Publication date: 22 April 2010

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2009.01.006

zbMATH Keywords

hybrid logicstatic analysismobile ambients

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• HyLoTab

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Abstract interpretation of mobile ambients.
• Mobile ambients
• Validating firewalls using flow logics
• Hybrid Logical Analyses of the Ambient Calculus
• Shape analysis for mobile ambients
• Anytime, anywhere
• Context logic and tree update
• Computer Science Logic
• Foundations of Security Analysis and Design II

This page was built for publication: Hybrid logical analyses of the ambient calculus