ANALYSIS OF CONCURRENT PROCESSING SYSTEMS CONSISTING OF STRAIGHT LINE PROCESSES, USING SYNCHRONIZED PRODUCTION - INDEPENDENT k-LEFT LINEAR SPS AND SPS LANGUAGES.

Masafumi Yamashita, Namio Honda, Yasuyoshi Inagaki

研究成果: Contribution to journalArticle査読

抄録

An investigation was conducted of the computation power of concurrent processing systems satisfying two conditions: (i) each process created in a system is a straight line program; and (ii) each execution of a process creation event is not controlled by a synchronization mechanism. For this purpose, SPS is defined as a model of concurrent processing systems and SPS languages which represent the sets of valid computation histories of SPS, and model concurrent processing systems satisfying these conditions using SPS. Then, their computation power is investigated using SPS languages from the following viewpoints: (i) inclusion relations among the set of target SPS languages, the set of regular sets, the set of languages which are acceptable by 1-counter automata, the set of context-free languages and the set of context sensitive languages; and (ii) closure properties under set operations such as union, intersection, complementation, concatenation, intersection with a regular set, reversal, homomorphism and shuffle.

本文言語英語
ページ(範囲)1-10
ページ数10
ジャーナルSystems, computers, controls
15
1
出版ステータス出版済み - 1 1 1984

All Science Journal Classification (ASJC) codes

  • 工学(全般)

フィンガープリント

「ANALYSIS OF CONCURRENT PROCESSING SYSTEMS CONSISTING OF STRAIGHT LINE PROCESSES, USING SYNCHRONIZED PRODUCTION - INDEPENDENT k-LEFT LINEAR SPS AND SPS LANGUAGES.」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル