A calculus of mobile processes, I
Information and Computation
KLAIM: A Kernel Language for Agents Interaction and Mobility
IEEE Transactions on Software Engineering
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Controlling interference in ambients
Proceedings of the 27th 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
Bisimulation congruences in safe ambients
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Information Processing Letters
Communication and Concurrency
A Query Language Based on the Ambient Logic
ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
Seal: A Framework for Secure Mobile Computations
ICCL'98 Workshop on Internet Programming Languages
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Suptyping and Locality in Distributed Higher Order Processes (extended abstract)
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Reasoning about Security in Mobile Ambients
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Typing Mobility in the Seal Calculus
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Subtyping and Typing Algorithms for Mobile Ambients
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
Ambient Groups and Mobility Types
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Communication Interference in Mobile Boxed Ambients
FST TCS '02 Proceedings of the 22nd Conference Kanpur on Foundations of Software Technology and Theoretical Computer Science
Access control for mobile agents: The calculus of boxed ambients
ACM Transactions on Programming Languages and Systems (TOPLAS)
On the computational strength of pure ambient calculi
Theoretical Computer Science - Expressiveness in concurrency
Communication and mobility control in boxed ambients
Information and Computation
BASS: boxed ambients with safe sessions
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
Types for Access Control in a Calculus of Mobile Resources
Electronic Notes in Theoretical Computer Science (ENTCS)
Boxed ambients with communication interfaces
Mathematical Structures in Computer Science
Types for ambient and process mobility†
Mathematical Structures in Computer Science
Access control in mobile ambient calculi: A comparative view
Theoretical Computer Science
Deriving Structural Labelled Transitions for Mobile Ambients
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
Flow-sensitive type systems and the ambient calculus
Higher-Order and Symbolic Computation
On the Relative Expressive Power of Ambient-Based Calculi
Trustworthy Global Computing
Communication and mobility control in boxed ambients
Information and Computation
Deriving structural labelled transitions for mobile ambients
Information and Computation
A mobility calculus with local and dependent types
Processes, Terms and Cycles
| Hi-index | 0.01 |
We provide a novel type system for Bugliesi et al.'s Boxed Ambients that combines value subtyping with mobility types. The former is based on read/write exchange types, the latter builds on the notion of ambient group. Mobility types allow to specify where an ambient is allowed to stay, closing existing expressiveness gaps in the literature at no additional complexity costs. Subtyping is aimed at achieving maximal generality on both communication and mobility types.We then introduce co-capabilities to express explicit permissions to access ambients. In this setting, ambient types are refined to specify who is allowed to enter an ambient, making a promising framework to model open systems.