<technical report>
Hennessy-Milner Properties in Schröder Categories
Creator | |
---|---|
Language | |
Publisher | |
Date | |
Source Title | |
Vol | |
Publication Type | |
Access Rights | |
Related DOI | |
Related URI | |
Relation | |
Abstract | This note presents a relational formalization of Hennessy-Milner properties in Schröder categories. |
Hide fulltext details.
File | FileType | Size | Views | Description |
---|---|---|---|---|
trcs163 | 208 KB | 244 | ||
trcs163.ps | gz | 101 KB | 160 |
Details
Record ID | |
---|---|
Peer-Reviewed | |
Type | |
Created Date | 2009.04.22 |
Modified Date | 2017.01.20 |