Abstractions for mobile computation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1603, Issue , 1999, Pages 51-94

  Cardelli, Luca ^a  

^a MICROSOFT RESEARCH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; WIDE AREA NETWORKS;

MOBILE COMPUTATIONS; UNIFIED FRAMEWORK;

OBJECT ORIENTED PROGRAMMING;

EID: 84982993891     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48749-2_4     Document Type: Conference Paper

References (37)

1. Abadi, M., Foumet, C, Gonthier, G.: Secure Implementation of Channel Abstractions. Proc. of the Thirteenth Annual IEEE Symposium on Logic in Computer Science (1998) 105-116.
2. Abadi, M., Gordon, A.D.: A Calculus for Cryptographic Protocols: the Spi Calculus. Proc. of the Fourth ACM Conference on Computer and Communications Security (1997) 36-47.
3. Agha, G.A.: Actors: A Model of Concurrent Computing in Distributed Systems. MIT Press (1986).
4. Amadio, R.M.: An Asynchronous Model of Locality, Failure, and Process Mobility. Proc. COORDINATION 97, Lecture Notes in Computer Science 1282, Springer Verlag (1997).
5. Bharat, K., Cardelli, L.: Migratory Applications. Proc. of the ACM Symposium on User Interface Software and Technology '95 (1995) 133-142.
6. Berry, G.: The Foundations of Esterel. In: Plotkin, G., Stirling C, Tofte, M. (eds.): Proof Language and Interaction: Essays in Honour of Robin Milner. MIT Press (1998).
7. Berry, G., Boudol, G.: The Chemical Abstract Machine. Theoretical Computer Science 96(0(1992)217-248.
8. Boudol, G.: Asynchrony and the Ji-calculus. Technical Report 1702, INRIA, Sophia-Antipohs(I992).
9. Bracha, G., Toueg, S.: Asynchronous Consensus and Broadcast Protocols. I.ACM 32(4) (1985)824-840.
10. Brauer, W. (ed.): Net Theory and Applications. Proc. of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, 1979. Lecture Notes in Computer Science 84. Springer-Vedag (1980).
11. Cardelli, L.: A Language with Distributed Scope. Computing Systems, 8(1), MIT Press (1995)27-59.
12. Cardelli, L., Davies, R.: Service Combinators for Web Computing. Proc. of the First Usenix Conference on Domain Specific Languages, Santa Barbara (1997).
13. Cardelli, L., Gordon, A.D.: Mobile Ambients. In: Nivat, M. (ed.): Foundations of Software Science and Computational Structures, Lecture Notes in Computer Science 1378, Springer (1998) 140-155.
14. Cardelli, L., Gordon, A.D.: Types for Mobile Ambients. Proc. of the 26th ACM Symposium on Principles of Programming Languages (1999) 79-92.
15. Carnero, N., Gelernter, D.: Linda in Context. Communications of the ACM, 32(4) (1989) 444-458.
16. Carriero, N., Gelernter, D., Zuck, L.: Bauhaus Linda. In: Ciancarini, P., Nierstrasz.,O., Yonezawa, A. (eds.): Object-Based Models and Languages for Concurrent Systems. Lecture
17. Chandra, T.D., Toueg, S.: Unreliable Failure Detectors for Asynchronous Systems. ACM Symposium on Principles of Distributed Computing (1991) 325-340.
18. De Nicola, R., Ferrari, G.-L., Pugliese, R.: Locality Based Linda: Programming with Explicit Localities. Proc. TAPSOFT'97. Lecture Notes in Computer Science 1214, Springer Verlag (1997) 712-726.
19. Fischer, M.J., Lynch, N.A., Paterson, M.S.: Impossibility of Distributed Consensus with One Faulty Process. J.ACM 32(2) (1985) 374-382.
20. Fournet, C, Gonthier, G.: The Reflexive CHAM and the Join-Calculus. Proc. 23rd Annual ACM Symposium on Principles of Programming Languages (1996) 372-385.
21. Fournet, C, Gonthier, G., Levy, J.-J., Maranget, L., Remy, D.: A Calculus of Mobile Agents. Proc. 7th International Conference on Concurrency Theory (CONCUR'96) (1996) 406-421.
22. Fournet, C, Maranget, L.: The Join-Calculus Language-Documentation and User's Guide. (1997).
23. Goshng, J., Joy, B., Steele, G.: The Java Language Specification. Addison-Wesley (1996).
24. Hoare, C.A.R., Communicating Sequential Processes. Communications of the ACM 21(8) (1978)666-678.
25. Honda, K., Tokoro, M.: An Object Calculus for Asynchronous Communication. Proc. ECOOP'91, Lecture Notes in Computer Science 521, Springer Verlag (1991) 133-147.
26. INMOS Ltd.: occam programming manual. Prentice Hall (1984).
27. Kistler, T., Marais, J.: WebL-A Programming Language for the Web. In Computer Networks and ISDN Systems, 30. Elsevier (1998) 259-270.
28. Milner, R.: A Calculus of Communicating Systems. Lecture Notes in Computer Science 92. Springer Verlag (1980).
29. Milner, R.: Functions as Processes. Mathematical Structures in Computer Science 2 (1992) 119-141.
30. Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes, Parts 1-2. Information and Computation, 100(1) (1992) 1-77.
31. Morris, J.H.: Lambda-Calculus Models of Programming Languages. Ph.D. Thesis, MIT (Dec 1968).
32. Palamidessi, C: Comparing the Expressive Power of the Synchronous and the Asynchronous Pi-calculus. Proc. 24th ACM Symposium on Principles of Programming Languages (1997)256-265.
33. Sander, A., Tschudin, C.F.: Towards Mobile Cryptography. ICSI technical report 97-049, November 1997. Proc. IEEE Symposium on Security and Privacy (1998).
34. Sangiorgi, D.: From π-calculus to Higher-Order 7i-calculus-and Back. Proc. TAPSOFT '93., Lecture Notes in Computer Science 668, Springer Verlag (1992).
35. Stamos, J.W., Gifford, D.K.: Remote Evaluation. ACM Transactions on Programming Languages and Systems 12(4) (1990) 537-565.
36. Stein, L.A., Lieberman, H., Ungar, D.: A Shared View of Sharing: The treaty of Orlando. In: Kim, W., Lochowsky, F. (eds.); Object-Oriented Concepts, Applications, and Databases. Addison-Wesley (1988) 31-48.
37. White, J.E.: Mobile Agents. In: Bradshaw, J. (ed.): Software Agents. AAAI Press/The MIT Press (1996).