Hennessy-Milner Properties in Schröder Categories - 九大コレクション

＜会議発表論文＞
Hennessy-Milner Properties in Schröder Categories

作成者	著者識別子 K000169 作成者名 Kawahara, Yasuo 河原, 康雄所属機関所属機関名 Department of Informatics, Kyushu University 九州大学大学院システム情報科学研究院情報理学部門
作成者	著者識別子 K000173 作成者名 Mori, Masao 森, 雅生所属機関所属機関名 Department of Informatics, Kyushu University 九州大学大学院システム情報科学研究院情報理学部門
本文言語	英語
発行日	2000-01
収録物名	The Fouth International Symposium on Economic Informatics
開始ページ	988
終了ページ	994
出版タイプ	Accepted Manuscript
アクセス権	open access
関連DOI	The Fouth International Symposium on Economic Informatics \|\| \|\| p988-994
	http://hyoka-inf.ofc.kyushu-u.ac.jp/~mori/
	http://www.i.kyushu-u.ac.jp/~kawahara/
関連URI	The Fouth International Symposium on Economic Informatics \|\| \|\| p988-994
	http://hyoka-inf.ofc.kyushu-u.ac.jp/~mori/
	http://www.i.kyushu-u.ac.jp/~kawahara/
関連情報	The Fouth International Symposium on Economic Informatics \|\| \|\| p988-994
	http://hyoka-inf.ofc.kyushu-u.ac.jp/~mori/
	http://www.i.kyushu-u.ac.jp/~kawahara/
概要	This note presents a relational formalization of Hennessy-Milner properties in Schröder categories.

ファイル	ファイルタイプ	サイズ	閲覧回数	説明
trcs163-HM_property	pdf	192 KB	157

レコードID	3619
査読有無	査読有
主題	process algebra
	Schröder Category
	Dedekind category
	relational calculus
注記	Proceedings of The Fouth International Symposium on Economic Informatics, pp 988--994, Bucharest, 6--9 May 1999．
タイプ	会議発表論文
登録日	2009.04.22
更新日	2017.01.25