Mobile UNITY: Reasoning and Specification in Mobile Computing

ACM Transactions on Software Engineering and Methodology

Volumn 6, Issue 3, 1997, Pages 250-282

  Roman, Gruia Catalin ^a   McCann, Peter J ^a   Plun, Jerome Y ^a  

^a WASHINGTON UNIVERSITY   (United States)

Author keywords

D.2.4 Software Engineering : Program Verification correctness proofs; D.3.1 Programming Languages : Formal Definitions and Theory semantics; D.3.3 Programming Languages : Language Constructs and Features concurrent programming structures

Indexed keywords

FORMAL LANGUAGES; FORMAL LOGIC; NETWORK PROTOCOLS;

MOBILE COMPUTING;

SOFTWARE ENGINEERING;

EID: 0031189708     PISSN: 1049331X     EISSN: None     Source Type: Journal    
DOI: 10.1145/258077.258079     Document Type: Article

References (17)

1. ABADI, M. AND LAMPORT, L. 1991. An old-fashioned recipe for real-time. In Lecture Notes in Computer Science, J. W. de Bakker, C. Huizing, W. P. Roever, and G. Rosenberg, Eds. Vol. 600. Springer-Verlag, Berlin, 1-27.
2. BADRINATH, B. R. AND WELLING, G. 1995. Event delivery abstractions for mobile computing. Tech. Rep. LCSR-TR-242, Rutgers Univ., New Brunswick, N.J.
3. CHANDY, K. M. AND MISRA, J. 1988. Parallel Program Design: A Foundation. Addison-Wesley, Reading, Mass.
4. CLINGER, W. D. 1981. Foundations of actor semantics. Tech. Rep. AI-TR-633, MIT Artificial Intelligence Laboratory, MIT, Cambridge, Mass.
5. JOHNSON, D. B. 1994. Routing in ad hoc networks of mobile hosts. In Proceedings of the Workshop on Mobile Computing Systems and Applications. IEEE Computer Society Press, Los Alamitos, Calif., 158-163.
6. LAMPORT, L. 1994. The temporal logic of actions. ACM Trans. Program. Lang. Syst. 16, 3 (May), 872-923.
7. MILNER, R., PARROW, J., AND WALKER, D. 1992. A calculus of mobile processes. I. Inf. Comput. 100, 1, 1-40.
8. MISRA, J. 1995. A logic for concurrent programming: Safety. J. Comput. Softw. Eng. 3, 2, 239-272.
9. NOBLE, B. D., PRICE, M., AND SATYANARAYANAN, M. 1995. A programming interface for application-aware adaptation in mobile computing. Comput. Syst. 8, 4, 345-363.
10. PERKINS, C. 1996. IP mobility support. Internet Draft Draft-IETF-Mobileip-16. Internet Engineering Task Force, Reston, Va. Available as ftp://ftp.ietf.cnri.reston.va.us/internet-drafts/draft-ietf-mobileip-protocol- 16-txt.
11. ROMAN, G.-C. AND CUNNINGHAM, H. C. 1992. Reasoning about synchronic groups. In Research Directions in High-Level Parallel Programming Languages, J. P. Banâtre and D. L. Métayer, Eds. Lecture Notes in Computer Science, vol. 574. Springer-Verlag, Berlin, 21-38.
12. ROMAN, G.-C., PLUN, J. Y., AND WILCOX, C. D. 1993. Dynamic synchrony among atomic actions. IEEE Trans. Parallel Distrib. Syst. 4, 6, 677-685.
13. 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-Independent Computing. USENIX Assoc., Berkeley, Calif., 11-28.
14. SCHILIT, B. N., ADAMS, N., AND WANT, R. 1994. Context-aware computing applications. In Proceedings of the Workshop on Mobile Computing Systems and Applications. IEEE Computer Society Press, Los Alamitos, Calif., 85-90.
15. 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, Calif., 111-126.
16. TERRY, D., THEIMER, M., PETERSEN, K., DEMERS, A., SPREITZER, M., AND HAUSER, C. 1995. Managing update conflicts in Bayou, a weakly connected replicated storage system. Oper. Syst. Rev. 29, 5, 172-183.
17. VOELKER, G. M. AND BERSHAD, B. N. 1994. Mobisaic: An information system for a mobile wireless computing environment. In Proceedings of the Workshop on Mobile Computing Systems and Applications. IEEE Computer Society Press, Los Alamitos, Calif., 185-190.