Maintenance of mobile system ambients using a process calculus

Toshihiko Ando, Kaoru Takahashi, Yasushi Kato, Norio Shiratori

    研究成果: Article査読

    2 被引用数 (Scopus)

    抄録

    We propose a formal method to maintain mobile systems placed on dynamically changing environments in this paper. Recently about 200 million people use mobile phones and mobile terminals, and mobile systems have been very popular. Remarkable features of mobile systems like mobile telephone systems and intelligent transport systems (ITSs) are dynamical linking and effects of environments to behavior of systems. To formally specify these systems, π-calculus is extended using the notion of a field, which is a formalization of constraints on communication among processes. Our goal is to find recovering damaged environments for preservation of connectivity among processes using this extension even if accidents occur.

    本文言語English
    ページ(範囲)229-256
    ページ数28
    ジャーナルComputer Networks
    32
    2
    DOI
    出版ステータスPublished - 2000 2

    ASJC Scopus subject areas

    • Computer Networks and Communications
    • Electrical and Electronic Engineering

    フィンガープリント 「Maintenance of mobile system ambients using a process calculus」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

    引用スタイル