Mobile UNITY Coordination Constructs Applied to Packet Forwarding for Mobile Hosts

Expressing code mobility in mobile UNITY

ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering

Modeling mobile IP in mobile UNITY

ACM Transactions on Software Engineering and Methodology (TOSEM)

Modelling IP Mobility

Formal Methods in System Design

Nomadic pict: correct communication infrastructure for mobile computation

POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Reasoning about code mobility with mobile UNITY

ACM Transactions on Software Engineering and Methodology (TOSEM)

A Notation and Logic for Mobile Computing

Formal Methods in System Design

Compositional Programming Abstractions for Mobile Computing

IEEE Transactions on Software Engineering

Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation

Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning

Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation

Electronic Notes in Theoretical Computer Science (ENTCS)

Nomadic pict: Programming languages, communication infrastructure overlays, and semantics for mobile computation

ACM Transactions on Programming Languages and Systems (TOPLAS)

PicOS tuples: easing event based programming in tiny pervasive systems

Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software

Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation

Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning