An exercise in formal reasoning about mobile communications

Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998

Volumn , Issue , 1998, Pages 25-33

  Murphy, A L ^a   Roman, G C ^a   Varghese, G ^a  

^a WASHINGTON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

MOBILE COMPUTING; SPECIFICATIONS; UBIQUITOUS COMPUTING;

CELLULAR PHONE; ESSENTIAL PROBLEMS; FORMAL REASONING; MESSAGE DELIVERY; MOBILE COMMUNICATIONS; STANDARD SOLUTIONS; TRACKING SOLUTIONS; WIRELESS COMMUNICATIONS;

COMPUTATION THEORY;

EID: 84946851048     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/iwssd.1998.667916     Document Type: Conference Paper

References (10)

1. Arup Acharya and B. R. Badrinath. A framework for delivering multicast messages in networks with mobile hosts. Journal of Special Topics in Mobile Networks and Applications (MONET), 1(2):199-219, October 1996.
2. B. R. Badrinath, A. Acharya, and T. Imielin-ski. Designing distributed algorithms for mobile computing networks replication and mobility. In Proceedings of the Second Workshop on the Management of Replicated Data. Rutgers University, 1992.
3. K. M. Chandy and L. Lamport. Distributed snapshots: Determining global states of distributed systems. ACM Transactions on Computing Systems, 3(1):63-75, 1985.
4. K. M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley, New York, NY, 1988.
5. J. Ioannidis and G. Q. Maguire, Jr. The design and implementation of a mobile internetworking architecture. 1992 Winter Usenix, 1993.
6. J. J. Kistler and M. Satyanarayanan. Disconnected operation in the Coda file system. ACM Trans. Computer Systems, 10(1):3-25, 1992.
7. P. Krishna, M. Chatterjee, N.H. Vaidya, and D.K. Pradhan. A cluster-based approach for routing in adhoc networks. In USENIX Symposium on Mobile and Location-Independent Computing, pages 136-146, 1995.
8. P.J. McCann and G.-C. Roman. Compositional programming abstractions for mobile computing. IEEE Transactions on Software Engineering, February 1998. To appear.
9. C. Perkins. IP mobility support. RFC 2002, IETF Network Working Group, 1996.
10. C.E. Perkins and D.B. Johnson. Mobility support in IPv6. In Proceedings of the Second Annual International Conference on Mobile Computing and Networking (MobiCom'96), Rye, New York, USA, November 1996. ACM