A notation and logic for mobile computing

Formal Methods in System Design

Volumn 20, Issue 1, 2002, Pages 47-68

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

^a WASHINGTON UNIVERSITY   (United States)

^b LUCENT TECHNOLOGIES   (United States)

Author keywords

Formal methods; Mobile computing; Mobile UNITY; Shared variables; Synchronization; Transient interactions; UNITY

Indexed keywords

FORMAL LOGIC; MOBILE TELECOMMUNICATION SYSTEMS; NETWORK PROTOCOLS; SOFTWARE AGENTS;

CONCURRENT MOBILE SYSTEMS;

MOBILE COMPUTING;

EID: 0036160871     PISSN: 09259856     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1012908529306     Document Type: Article

References (20)

1. An old-fashioned recipe for real-time
2. Defining liveness
3. The challenges of mobile computing
4. An axiomatic basis for computer programming
5. Wireless computing: Challenges in data management
6. Mobile UNITY coordination constructs applied to packet forwarding for mobile hosts
7. Compositional programming abstractions for mobile computing
8. A logic for concurrent programming: Progress
9. A logic for concurrent programming: Safety
10. Requirements for a composition language
11. IP mobility support
12. Expressing code mobility in mobile UNITY
13. Mobile UNITY: Reasoning and specification in mobile computing
14. Experience with disconnected operation in a mobile computing environment
15. Context-aware computing applications
16. Managing update conflicts in Bayou, a weakly connected replicated storage system
17. Mobisaic: An information system for a mobile wireless computing environment