Semantics of a Simple Coordination Language by Relational Strings - Collections | Kyushu University Library

＜departmental bulletin paper＞
Semantics of a Simple Coordination Language by Relational Strings

Creator	Creator Name 本多, 和正 Honda, Kazumasa ホンダ, カズマサ Affiliation Affiliation Name 九州大学大学院システム情報科学府情報理学専攻 : 博士後期課程 Department of Informatics, Graduate School of Information Science and Electrical Engineering, Kyushu University : Doctral Program
Creator	Creator Name 河原, 康雄 Kawahara, Yasuo カワハラ, ヤスオ Affiliation Affiliation Name 九州大学大学院システム情報科学研究院情報理学部門 Department of Informatics, Faculty of Information Science and Electrical Engineering, Kyushu University
Language	Japanese
Publisher	九州大学大学院システム情報科学研究院
Publisher	Faculty of Information Science and Electrical Engineering, Kyushu University
Date	2001-03-26
Source Title	Research reports on information science and electrical engineering of Kyushu University
Vol	6
Issue	1
First Page	47
Last Page	51
Publication Type	Version of Record
Access Rights	open access
JaLC DOI	https://doi.org/10.15017/1515715
Related DOI	https://portal.isee.kyushu-u.ac.jp/
Related URI	https://portal.isee.kyushu-u.ac.jp/
Relation	https://portal.isee.kyushu-u.ac.jp/
Abstract	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.show more

Hide fulltext details.

File	FileType	Size	Views	Description
p047	pdf	443 KB	147

Details

PISSN	1342-3819
EISSN	2188-0891
NCID	AN10569524
Record ID	1515715
Peer-Reviewed	Refereed
Subject Terms	協調実行言語
	Coordination language
	意味論
	Semantics
	プロセス計算
	Process algebra
	関係代数
	Relational algebra
Created Date	2015.05.22
Modified Date	2020.10.13