A Fully Abstract Model for Higher-Order Mobile Ambients

Authors:
Mario Coppo;Mariangiola Dezani-Ciancaglini
Affiliations:
-;-
Venue:
VMCAI '02 Revised Papers from the Third International Workshop on Verification, Model Checking, and Abstract Interpretation
Year:
2002

Citing 20
Cited 5

Full abstraction in the lazy lambda calculus

Information and Computation
Lambda-calculi for (strict) parallel functions

Information and Computation
A fully abstract denotational model for higher-order processes

Information and Computation
Filter models for conjunctive-disjunctive &lgr;-calculi

Theoretical Computer Science
A Filter Model for Concurrent $\lambda$-Calculus

SIAM Journal on Computing
Full abstractness for a functional/concurrent language with higher-order value-passing

Information and Computation
Types for mobile ambients

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Anytime, anywhere: modal logics for mobile ambients

Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Secure safe ambients

POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Extensionality and intensionality of the ambient logics

POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
What Are Polymorphically-Typed Ambients?

ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
Safe Ambients: Control Flow Analysis and Security

ASIAN '00 Proceedings of the 6th Asian Computing Science Conference on Advances in Computing Science
Security Types for Mobile Safe Ambients

ASIAN '00 Proceedings of the 6th Asian Computing Science Conference on Advances in Computing Science
Mobility Types for Mobile Ambients

ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Domains for Denotational Semantics

Proceedings of the 9th Colloquium on Automata, Languages and Programming
Higher-Order Process and Their Models

ICALP '94 Proceedings of the 21st International Colloquium on Automata, Languages and Programming
Equational Properties of Mobile Ambients

FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
Abstract Interpretation of Mobile Ambients

SAS '99 Proceedings of the 6th International Symposium on Static Analysis
Mobile Ambients

FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
A filter model for mobile processes

Mathematical Structures in Computer Science

On abstract interpretation of mobile ambients

Information and Computation
Calculi, types and applications

Theoretical Computer Science
Flow-sensitive type systems and the ambient calculus

Higher-Order and Symbolic Computation
A Filter Model for Safe Ambients

Electronic Notes in Theoretical Computer Science (ENTCS)
Sequence Types for the π-calculus

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Aim of this paper is to develop a filter model for a calculus with mobility and higher-order value passing. We will define it for an extension of the Ambient Calculus in which processes can be passed as values. This model turns out to be fully abstract with respect to the notion of contextual equivalence where the observables are ambients at top level.