-
Nomadic Pict: Programming Languages, Communication
Infrastructure Overlays, and Semantics for Mobile Computation
.
Peter Sewell, Pawel Wojciechowski, and Asis Unyapoth.
ACM Transactions on Programming Languages and Systems (TOPLAS),
32(4):1--63 (and electronic appendix, 33pp), 2010.
[ bib |
doi |
project page |
pdf |
abstract ]
-
Verifying Overlay Networks for Relocatable Computations (or:
Nomadic Pict, relocated).
Peter Sewell and Pawel Wojciechowski.
In RRDD Workshop, 2008.
[ bib |
project page |
pdf |
abstract ]
-
Nomadic Pict: Correct Communication Infrastructure for Mobile
Computation.
Asis Unyapoth and Peter Sewell.
In POPL 2001.
[ bib |
doi |
project page |
ps |
pdf |
http |
abstract ]
-
Nomadic Pict: Language and Infrastructure Design for Mobile
Agents.
Pawel T. Wojciechowski and Peter Sewell.
IEEE Concurrency, 8(2):42--52, April--June 2000.
Invited submission for ASA/MA 99.
[ bib |
doi |
project page |
http |
abstract ]
-
Location-Independent Communication for Mobile Agents: a
Two-Level Architecture, Peter Sewell, Pawel T.
Wojciechowski, and Benjamin C. Pierce.
pages 1--31.
Springer-Verlag, October 1999.
[ bib |
doi |
project page |
ps |
pdf |
.html |
abstract ]
-
Nomadic Pict: Language and Infrastructure Design for Mobile
Agents.
Pawel T. Wojciechowski and Peter Sewell.
In ASA/MA 1999, Best paper award.
[ bib |
doi |
project page |
ps |
pdf |
http |
abstract ]
-
Location-Independent Communication for Mobile Agents: a
Two-Level Architecture.
Peter Sewell, Pawel T. Wojciechowski, and Benjamin C. Pierce.
Technical Report UCAM-CL-TR-462, Computer Laboratory, University of
Cambridge, April 1999.
31pp.
[ bib |
project page |
ps |
pdf |
.html |
abstract ]
-
Location Independence for Mobile Agents.
Peter Sewell, Pawel T. Wojciechowski, and Benjamin C. Pierce.
In WIPL 1998, 6pp.
[ bib |
project page |
ps |
pdf ]