Nomadic pict: Correct communication infrastructure for mobile computation

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 2001, Pages 116-127

  Unyapoth, A ^a   Sewell, P ^a  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; ENCODING (SYMBOLS); RAPID PROTOTYPING; SEMANTICS;

COMMUNICATION INFRASTRACTURE; MOBILE COMPUTATION; NOMADIC PICT;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0035029825     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (33)

1. Authentication primitives and their compilation
2. Modelling IP mobility
3. Global computation
4. Mobile ambients
5. Mobility types for mobile ambients
6. Mobile agents: Are they a good idea?
7. Testing equivalences for processes
8. The reflexive chemical abstract machine and the join-calculus
9. A calculus of mobile agents
10. A nitpick analysis of mobile IPv6
11. Linearity and the pi-calculus
12. The polyadic π-calculus: A tutorial. Volume 94 of Series F: Computer and system Sciences. Springer, 1993
13. Distributed directory service and message router for mobile agents
14. A calculus of mobile processes, part I/II
15. Mobile UNITY coordination constructs applied to packet forwarding for mobile hosts
16. Decoding choice encodings
17. Comparing the expressive power of the synchronous and the asynchronous π-calculus
18. Multiway synchronization verified with coupled simulation
19. Typing and subtyping for mobile processes
20. Pict: A programming language based on the pi-calculus
21. A typed language for distributed mobile processes
22. The name discipline of uniform receptiveness
23. On implementations and semantics of a concurrent programming language
24. Global/local subtyping and capability inference for a distributed pi-calculus
25. Applied π - a brief tutorial
26. The problem of "weak bisimulation up to"
27. Location independence for mobile agents
28. A facile tutorial
29. Towards a calculus of secure mobile computations
30. Nomadic pict: Language and infrastructure design for mobile agents