Trust and partial typing in open systems of mobile agents
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Programming dynamically reconfigurable open systems with SALSA
ACM SIGPLAN Notices
A Formal Architectural Model for Logical Agent Mobility
IEEE Transactions on Software Engineering
Portable implementation of continuation operators in imperative languages by exception handling
Advances in exception handling techniques
Analyzing Non-functional Properties of Mobile Agents
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Location-Independent Communication for Mobile Agents: A Two-Level Architecture
ICCL'98 Workshop on Internet Programming Languages
Mobility Types for Mobile Ambients
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
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
MobileML: A Programming Language for Mobile Computation
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Portable Implementation of Continuation Operators in Imperative Languages by Exception Handling
Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop)
The receptive distributed π-calculus
ACM Transactions on Programming Languages and Systems (TOPLAS)
Acute: High-level programming language design for distributed computation
Journal of Functional Programming
Non-disclosure for distributed mobile code
Mathematical Structures in Computer Science - Programming Language Interference and Dependence
A modal language for the safety of mobile values
APLAS'06 Proceedings of the 4th Asian conference on Programming Languages and Systems
Hi-index | 0.00 |