Modeling mobile IP in mobile UNITY

ACM Transactions on Software Engineering and Methodology

Volumn 8, Issue 2, 1999, Pages 115-146

  McCann, Peter J ^a   Roman, Gruia Catalin ^b  

^a LUCENT TECHNOLOGIES   (United States)

^b WASHINGTON UNIVERSITY   (United States)

Author keywords

D.2.4 Software Engineering : Software Program verification correctness proofs; D.3.1 Programming Languages : Formal definitions and theory semantics

Indexed keywords

EID: 0007744283     PISSN: 1049331X     EISSN: None     Source Type: Journal    
DOI: 10.1145/304399.304400     Document Type: Article

References (32)

1. ABADI, M. AND LAMPORT, L. 1994. An old-fashioned recipe for real time. ACM Trans. Program. Lang. Syst. 16, 5 (Sept. 1994), 1543-1571.
2. AGHA, G. 1986. Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press Series in Artificial Intelligence. MIT Press, Cambridge, MA.
3. AMADIO, R. M. 1997. An asynchronous model of locality, failure, and process mobility. In Coordination Languages and Models. Springer-Verlag, Berlin, Germany, 374-391.
4. AMADIO, R. M. AND PRASAD, S. 1998. Modelling IP mobility. In Proceedings of CONCUR '98. Springer-Verlag, Berlin, Germany.
5. CARDELLI, L. AND GORDON, A. 1998. Mobile ambients. In Foundations of Software Science and Computation Structures (FoSSaCS), European Joint Conferences on Theory and Practice of Software (ETAPS'98). Lecture Notes in Computer Science, vol. 1378. Springer-Verlag, Berlin, Germany, 140-155.
6. CHANDY, K. M. AND MISRA, J. 1988. Parallel Program Design: A Foundation. Addison-Wesley Longman Publ. Co., Inc., Reading, MA.
7. CLINGER, W. D. 1981. Foundations of actor semantics. Tech. Rep. AI-TR-633. Intelligence Laboratory, MIT, Cambridge, MA.
8. DANG, Z. AND KEMMER, R. 1998. Specification and analysis of mobile IP using ASTRAL. In Formal Methods and Security Protocols (following LICS '98). http://www.cs.bell-labs.com/ who/nch/fmsp/program.html.
9. DILL, D. L., DREXLER, A. J., HU, A. J., AND YANG, C. H. 1992. Protocol verification as a hardware design aid. In Proceedings of the 1992 IEEE International Conference on Computer Design: VLSI in Computers and Processors (Cambridge, MA, Oct. 11-14). IEEE Computer Society, Washington, DC, 522-525.
10. FOURNET, C., GONTHIER, G., LÉVY, J. J., MARANGET, L., AND RÉMY, D. 1996. A calculus of mobile agents. In Proceedings of the International Conference on Concurrency Theory. Springer-Verlag, Berlin, Germany, 406-421.
11. FULLER, V., LI, T., YU, J., AND VARADHAN, K. 1993. RFC 1519: Classless inter-domain routing (CIDR): An address assignment and aggregation strategy. Obsoletes RFC1338.
12. GRIES, D. 1987. The Science of Programming. Springer-Verlag, New York, NY.
13. HOARE, C. 1969. An axiomatic basis for computer programming. Commun. ACM 12, 10, 576-583.
14. JACKSON, D., NG, Y., AND WING, J. 1998. A nitpick analysis of mobile IPv6. Tech. Rep. CMU-CS-98-113. School of Computer Science, Carnegie Mellon University, Pittsburgh, PA.
15. JOHNSON, D. B. 1994. Routing in ad hoc networks of mobile hosts. In Proceedings of the IEEE Workshop on Mobile Computing Systems and Applications (Santa Cruz, CA). IEEE Press, Piscataway, NJ, 158-163.
16. MCCANN, P. J. AND ROMAN, G. C. 1997. Mobile UNITY coordination constructs applied to packet forwarding for mobile hosts. In Coordination Languages and Models. Springer Lecture Notes in Computer Science, vol. 1282. 338-354.
17. MCCANN, P. J. AND ROMAN, G. C. 1998. Compositional programming abstractions for mobile computing. IEEE Trans. Softw. Eng. 24, 2 (Feb.), 97-110.
18. MILNER, R., PARROW, J., AND WALKER, D. 1992. A calculus of mobile processes, I. Inf. Comput. 100, 1 (Sept. 1992), 1-40.
19. MISRA, J. 1995a. A logic for concurrent programming: Progress. J. Comput. Softw. Eng. 3, 2, 273-300.
20. MISRA, J. 1995b. A logic for concurrent programming: Safety. J. Comput. Softw. Eng. 3, 2, 239-272.
21. PERKINS, C. 1996. RFC 2002: IP mobility support.
22. PICCO, G. P., MURPHY, A., AND ROMAN, G. C. 1998. LIME: Linda meets mobility. Tech. Rep. WUCS-98-21. Washington University, St. Louis, MO.
23. PICCO, G. P., ROMAN, G. C., AND MCCANN, P. J. 1997. Expressing code mobility in mobile UNITY. In Proceedings of the 6th European Software Engineering Conference held jointly with the 5th ACM SIGSOFT Symposium on Foundations of Software Engineering (Zurich, Switzerland, Sept. 23-25), M. Jazayeri and H. Schauer, Eds. Springer-Verlag, New York, 500-518.
24. PLUMMER, D. 1982. RFC 826: Or converting network protocol addresses to 48.bit ethernet address for transmission on Ethernet hardware.
25. POSTAL, J. 1984. RFC 925: Multi-LAN address resolution.
26. RIELY, J. AND HENNESSY, M. 1997. Distributed processes and location failures. Tech. Rep. School of Cognitive and Computing Sciences, University of Sussex, Brighton, England.
27. SATYANARAYANAN, M., KISTLER, J. J., MUMMERT, L. B., EBLING, M. R., KUMAR, P., AND LU, Q. 1993. Experience with disconnected operation in a mobile computing environment. In Proceedings of the USENIX Symposium on Mobile and Location-Indepedent Computing. USENIX Assoc., Berkeley, CA, 11-28.
28. SCHILIT, B. N., ADAMS, N., AND WANT, R. 1994. Context-aware computing applications. In Proceedings of the IEEE Workshop on Mobile Computing Systems and Applications (Santa Cruz, CA). IEEE Press, Piscataway, NJ, 85-90.
29. STEVENS, W. R. 1994. TCP/IP Illustrated. Vol. 1, The Protocols. Addison-Wesley, Reading, MA.
30. TAIT, C. D. AND DUCHAMP, D. 1992. An efficient variable consistency replicated file service. In Proceedings of the USENIX File Systems Workshop. USENIX Assoc., Berkeley, CA, 111-126.
31. TERRY, D. B., THEIMER, M. M., PETERSEN, K., DEMERS, A. J., SPREITZER, M. J., AND HAUSER, C. H. 1995. Managing update conflicts in Bayou, a weakly connected replicated storage system. ACM SIGOPS Oper. Syst. Rev. 29, 5 (Dec.), 172-182.
32. VOELKER, G. M. AND BERSHAD, B. N. 1994. Mobisaic: An information system for a mobile wireless computing environment. In Proceedings of the IEEE Workshop on Mobile Computing Systems and Applications (Santa Cruz, CA). IEEE Press, Piscataway, NJ, 185-190.