Abstract | ||
---|---|---|
We propose a formal method to maintain mobile systems placed on fluidal ambiences using a process calculus in this paper. Behavior of physically movable entities of mobile systems, e.g. mobile telephone systems and intelligent transport systems (ITSs), may be affected by their surrounding. We have focused on effects of ambiences to behavior of mobile systems and have introduced the notion of a field into a concurrent calculus. 隆F, an extension of 隆-calculus, formalizes processes constrained by ambiences. Based on 隆F, our maintenance method indicates us how an ambience should be recovered when it is damaged. |
Year | DOI | Venue |
---|---|---|
1999 | 10.1109/ICPP.1999.797438 | Aizu-Wakamatsu City |
Keywords | Field | DocType |
mobile radio,telecommunication computing,telecommunication network management,telephony,concurrent calculus,fluidal ambiences,formal method,intelligent transport systems,maintenance of ambiences,mobile systems,mobile telephone systems,process calculus | Base station,Mobile radio,Intelligent decision support system,Computer science,Formal methods,Intelligent transportation system,Telephony,Process calculus,Mobile telephony,Distributed computing | Conference |
ISSN | ISBN | Citations |
0190-3918 | 0-7695-0350-0 | 0 |
PageRank | References | Authors |
0.34 | 6 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Toshihiko Ando | 1 | 0 | 0.34 |
Kaoru Takahashi | 2 | 30 | 5.27 |
Yasushi Kato | 3 | 1 | 1.04 |
Norio Shiratori | 4 | 1 | 1.04 |