Maintenance of mobile system ambients using a process calculus

Toshihiko Ando, Kaoru Takahashi, Yasushi Kato, Norio Shiratori

    Research output: Contribution to journalArticlepeer-review

    2 Citations (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.

    Original languageEnglish
    Pages (from-to)229-256
    Number of pages28
    JournalComputer Networks
    Issue number2
    Publication statusPublished - 2000 Feb

    ASJC Scopus subject areas

    • Computer Networks and Communications
    • Electrical and Electronic Engineering


    Dive into the research topics of 'Maintenance of mobile system ambients using a process calculus'. Together they form a unique fingerprint.

    Cite this