ACM Transactions on Programming Languages and Systems (TOPLAS)
Types for Evolving Communication in Safe Ambients
VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation
Typing and Subtyping Mobility in Boxed Ambients
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
On abstract interpretation of mobile ambients
Information and Computation
Flow-sensitive type systems and the ambient calculus
Higher-Order and Symbolic Computation
Orderly communication in the Ambient Calculus
Computer Languages, Systems and Structures
| Hi-index | 0.89 |