Reasoning about Program Interactions in the Presence of Mobility

Authors

Gruia-Catalin Roman, Washington University in St Louis
Peter J. McCann, Washington University in St Louis

Document Type

Technical Report

Department

Computer Science and Engineering

Publication Date

1995-01-01

Filename

WUCS-95-25.PDF

Technical Report Number

WUCS-95-25

Abstract

Mobile computing is emerging as an important new paradigm which has the potential to reshape our thinking about distributed computation. Mobility has far-reaching implications on what designers and users can assume about communication patterns, resource availability, and applciation behaviors as components move from one location to another while joining or leaving groups of other components in their vicinity. New distributed algorithms are likely to be required as the nature of applications shifts with the emergence of this new kind of computing environment. Formal methods have an important role to play in the midst of these developments both in terms of helping the research community better understand fundamental issues germane to mobile computing and by providing pratical solutions to difficult design problems.

Comments

Permanent URL: http://dx.doi.org/10.7936/K7W66J1Q

Recommended Citation

Roman, Gruia-Catalin and McCann, Peter J., "Reasoning about Program Interactions in the Presence of Mobility" Report Number: WUCS-95-25 (1995). All Computer Science and Engineering Research.
https://openscholarship.wustl.edu/cse_research/383