Maintenance of mobile system ambients using a process calculus

Toshihiko Ando; Kaoru Takahashi; Yasushi Kato; Norio Shiratori

doi:10.1016/S1389-1286(99)00132-2

Maintenance of mobile system ambients using a process calculus

Toshihiko Ando, Kaoru Takahashi, Yasushi Kato, Norio Shiratori

Research output: Contribution to journal › Article › peer-review

2 Citations (Scopus)

Abstract

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 language	English
Pages (from-to)	229-256
Number of pages	28
Journal	Computer Networks
Volume	32
Issue number	2
DOIs	https://doi.org/10.1016/S1389-1286(99)00132-2
Publication status	Published - 2000 Feb

ASJC Scopus subject areas

Computer Networks and Communications
Electrical and Electronic Engineering

Access to Document

10.1016/S1389-1286(99)00132-2

Cite this

@article{883199be30d54000aef1113a6d6801aa,

title = "Maintenance of mobile system ambients using a process calculus",

abstract = "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.",

author = "Toshihiko Ando and Kaoru Takahashi and Yasushi Kato and Norio Shiratori",

year = "2000",

month = feb,

doi = "10.1016/S1389-1286(99)00132-2",

language = "English",

volume = "32",

pages = "229--256",

journal = "Computer Networks",

issn = "1389-1286",

publisher = "Elsevier",

number = "2",

}

TY - JOUR

T1 - Maintenance of mobile system ambients using a process calculus

AU - Ando, Toshihiko

AU - Takahashi, Kaoru

AU - Kato, Yasushi

AU - Shiratori, Norio

PY - 2000/2

Y1 - 2000/2

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0033726304&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0033726304&partnerID=8YFLogxK

U2 - 10.1016/S1389-1286(99)00132-2

DO - 10.1016/S1389-1286(99)00132-2

M3 - Article

AN - SCOPUS:0033726304

SN - 1389-1286

VL - 32

SP - 229

EP - 256

JO - Computer Networks

JF - Computer Networks

IS - 2

ER -

Maintenance of mobile system ambients using a process calculus

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this