Early Concurrent/Mobile Objects
Abstract elided by the publisher.
Related papers
- Mobile Objects in Distributed Oz TOPLAS 1997
- Declaratively programming the mobile web with Mobl OOPSLA 2011
- Typed First-Class Communication Channels and Mobility for Concurrent Scripting Languages SLE 2011
- Mobile Objects and Mobile Agents: The Future of Distributed Computing? ECOOP 1998
- Mechanically verified proof obligations for linearizability TOPLAS 2011
- MX: Mobile Object Exchange for Collaborative Applications ECOOP 2003
- The Reflexive CHAM and the Join-Calculus POPL 1996
- Race detection for event-driven mobile applications PLDI 2014