Hennessy-Milner Properties in Schröder Categories - Collections

＜technical report＞
Hennessy-Milner Properties in Schröder Categories

Creator	Author PID K000169 Creator Name KAWAHARA, Yasuo 河原, 康雄 Affiliation Affiliation Name Department of Informatics, Kyushu University 九州大学大学院システム情報科学研究院情報理学部門
Creator	Author PID K000173 Creator Name MORI, Masao 森, 雅生 Affiliation Affiliation Name Department of Informatics, Kyushu University 九州大学大学院システム情報科学研究院情報理学部門
Language	English
Publisher	Department of Informatics, Kyushu University
Publisher	九州大学大学院システム情報科学研究院情報理学部門
Date	1999-05-01
Source Title	DOI Technical Report
Vol	163
Publication Type	Accepted Manuscript
Access Rights	open access
Related DOI	DOI Technical Report \|\| 163
Related DOI	http://www.i.kyushu-u.ac.jp/research/report.html
Related URI	DOI Technical Report \|\| 163
Related URI	http://www.i.kyushu-u.ac.jp/research/report.html
Relation	DOI Technical Report \|\| 163
Relation	http://www.i.kyushu-u.ac.jp/research/report.html
Abstract	This note presents a relational formalization of Hennessy-Milner properties in Schröder categories.

File	FileType	Size	Views	Description
trcs163	pdf	208 KB	225
trcs163.ps	gz	101 KB	152