<紀要論文>
関係文字列を用いた協調実行言語の意味論
作成者 | |
---|---|
本文言語 | |
出版者 | |
発行日 | |
収録物名 | |
巻 | |
号 | |
開始ページ | |
終了ページ | |
出版タイプ | |
アクセス権 | |
JaLC DOI | |
関連DOI | |
関連URI | |
関連情報 | |
概要 | The purpose of this study is to apply the denotational semantics of the coordination language to the safety analysis of parallel programs. In this paper, the denotational semantics of a simple coordin...ation language is defined by relational strings, which are strings of binary relations, and the concatenation of relational strings is a timed-composition of binary relations.続きを見る |
詳細
PISSN | |
---|---|
EISSN | |
NCID | |
レコードID | |
査読有無 | |
主題 | |
登録日 | 2015.05.22 |
更新日 | 2020.10.13 |