CONCURRENT PROGRAM SCHEME WITH FINITE STATE SCHEDULERS.

Masafumi Yamashita, Namio Honda, Yasuyoshi Inagaki

Research output: Contribution to journalArticle

Abstract

A concurrent program scheme (CPS) is proposed as a new model for the description and analysis of concurrent programs. Its descriptive power as well as several basic properties are discussed. The CPS is a system consisting of a finite, fixed number of concurrent processes (a Luckham-Park-Paterson scheme permitting communication statements) and a finite number of finite-state schedulers which are used to synchronize the processes. In order to show its effectiveness, a monitor language is considered which can describe a concurrent program whose processes are ″while″ programs and the synchronization among the processes is achieved by monitor facilites. It is shown that a program written in the monitor language can be described by the CPS very well. In addition, the characteristics of the CPS are examined and the possibility on its formal analysis is indicated.

Original languageEnglish
Pages (from-to)59-66
Number of pages8
JournalSystems, computers, controls
Volume11
Issue number4
Publication statusPublished - Jan 1 1980

Fingerprint

Synchronization
Communication

All Science Journal Classification (ASJC) codes

  • Engineering(all)

Cite this

Yamashita, M., Honda, N., & Inagaki, Y. (1980). CONCURRENT PROGRAM SCHEME WITH FINITE STATE SCHEDULERS. Systems, computers, controls, 11(4), 59-66.

CONCURRENT PROGRAM SCHEME WITH FINITE STATE SCHEDULERS. / Yamashita, Masafumi; Honda, Namio; Inagaki, Yasuyoshi.

In: Systems, computers, controls, Vol. 11, No. 4, 01.01.1980, p. 59-66.

Research output: Contribution to journalArticle

Yamashita, M, Honda, N & Inagaki, Y 1980, 'CONCURRENT PROGRAM SCHEME WITH FINITE STATE SCHEDULERS.', Systems, computers, controls, vol. 11, no. 4, pp. 59-66.
Yamashita M, Honda N, Inagaki Y. CONCURRENT PROGRAM SCHEME WITH FINITE STATE SCHEDULERS. Systems, computers, controls. 1980 Jan 1;11(4):59-66.
Yamashita, Masafumi ; Honda, Namio ; Inagaki, Yasuyoshi. / CONCURRENT PROGRAM SCHEME WITH FINITE STATE SCHEDULERS. In: Systems, computers, controls. 1980 ; Vol. 11, No. 4. pp. 59-66.
@article{ef99a27af55d4b24b7fb6c20ec8364b4,
title = "CONCURRENT PROGRAM SCHEME WITH FINITE STATE SCHEDULERS.",
abstract = "A concurrent program scheme (CPS) is proposed as a new model for the description and analysis of concurrent programs. Its descriptive power as well as several basic properties are discussed. The CPS is a system consisting of a finite, fixed number of concurrent processes (a Luckham-Park-Paterson scheme permitting communication statements) and a finite number of finite-state schedulers which are used to synchronize the processes. In order to show its effectiveness, a monitor language is considered which can describe a concurrent program whose processes are ″while″ programs and the synchronization among the processes is achieved by monitor facilites. It is shown that a program written in the monitor language can be described by the CPS very well. In addition, the characteristics of the CPS are examined and the possibility on its formal analysis is indicated.",
author = "Masafumi Yamashita and Namio Honda and Yasuyoshi Inagaki",
year = "1980",
month = "1",
day = "1",
language = "English",
volume = "11",
pages = "59--66",
journal = "Systems, computers, controls",
issn = "0096-8765",
publisher = "Scripta Pub Co.",
number = "4",

}

TY - JOUR

T1 - CONCURRENT PROGRAM SCHEME WITH FINITE STATE SCHEDULERS.

AU - Yamashita, Masafumi

AU - Honda, Namio

AU - Inagaki, Yasuyoshi

PY - 1980/1/1

Y1 - 1980/1/1

N2 - A concurrent program scheme (CPS) is proposed as a new model for the description and analysis of concurrent programs. Its descriptive power as well as several basic properties are discussed. The CPS is a system consisting of a finite, fixed number of concurrent processes (a Luckham-Park-Paterson scheme permitting communication statements) and a finite number of finite-state schedulers which are used to synchronize the processes. In order to show its effectiveness, a monitor language is considered which can describe a concurrent program whose processes are ″while″ programs and the synchronization among the processes is achieved by monitor facilites. It is shown that a program written in the monitor language can be described by the CPS very well. In addition, the characteristics of the CPS are examined and the possibility on its formal analysis is indicated.

AB - A concurrent program scheme (CPS) is proposed as a new model for the description and analysis of concurrent programs. Its descriptive power as well as several basic properties are discussed. The CPS is a system consisting of a finite, fixed number of concurrent processes (a Luckham-Park-Paterson scheme permitting communication statements) and a finite number of finite-state schedulers which are used to synchronize the processes. In order to show its effectiveness, a monitor language is considered which can describe a concurrent program whose processes are ″while″ programs and the synchronization among the processes is achieved by monitor facilites. It is shown that a program written in the monitor language can be described by the CPS very well. In addition, the characteristics of the CPS are examined and the possibility on its formal analysis is indicated.

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

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

M3 - Article

AN - SCOPUS:0019032547

VL - 11

SP - 59

EP - 66

JO - Systems, computers, controls

JF - Systems, computers, controls

SN - 0096-8765

IS - 4

ER -