関係文字列を用いた協調実行言語の意味論 - 九大コレクション | 九州大学附属図書館

＜紀要論文＞
関係文字列を用いた協調実行言語の意味論

作成者	作成者名本多, 和正 Honda, Kazumasa ホンダ, カズマサ所属機関所属機関名九州大学大学院システム情報科学府情報理学専攻 : 博士後期課程 Department of Informatics, Graduate School of Information Science and Electrical Engineering, Kyushu University : Doctral Program
作成者	作成者名河原, 康雄 Kawahara, Yasuo カワハラ, ヤスオ所属機関所属機関名九州大学大学院システム情報科学研究院情報理学部門 Department of Informatics, Faculty of Information Science and Electrical Engineering, Kyushu University
本文言語	日本語
出版者	九州大学大学院システム情報科学研究院
出版者	Faculty of Information Science and Electrical Engineering, Kyushu University
発行日	2001-03-26
収録物名	九州大学大学院システム情報科学紀要
巻	6
号	1
開始ページ	47
終了ページ	51
出版タイプ	Version of Record
アクセス権	open access
JaLC DOI	https://doi.org/10.15017/1515715
関連DOI	https://portal.isee.kyushu-u.ac.jp/
関連URI	https://portal.isee.kyushu-u.ac.jp/
関連情報	https://portal.isee.kyushu-u.ac.jp/
概要	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.続きを見る

本文ファイル

ファイル	ファイルタイプ	サイズ	閲覧回数	説明
p047	pdf	443 KB	140

詳細

PISSN	1342-3819
EISSN	2188-0891
NCID	AN10569524
レコードID	1515715
査読有無	査読有
主題	協調実行言語
	Coordination language
	意味論
	Semantics
	プロセス計算
	Process algebra
	関係代数
	Relational algebra
登録日	2015.05.22
更新日	2020.10.13