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

Research output: Contribution to journalArticle

Abstract

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.

Original languageEnglish
Pages (from-to)1-10
Number of pages10
JournalSystems, computers, controls
Volume15
Issue number1
Publication statusPublished - Jan 1 1984

All Science Journal Classification (ASJC) codes

  • Engineering(all)

Fingerprint Dive into the research topics of 'ANALYSIS OF CONCURRENT PROCESSING SYSTEMS CONSISTING OF STRAIGHT LINE PROCESSES, USING SYNCHRONIZED PRODUCTION - INDEPENDENT k-LEFT LINEAR SPS AND SPS LANGUAGES.'. Together they form a unique fingerprint.

  • Cite this