P. Johnstone, J. Power, T. Tsujishita, H. Watanabe, J. Worrell, "An Axiomatics for Categories of Transition Systems as Coalgebras," Logic in Computer Science, Symposium on, pp. 207, 13th Annual IEEE Symposium on Logic in Computer Science (LICS'98), 1998.

@article{ 10.1109/LICS.1998.705657,
author = {P. Johnstone and J. Power and T. Tsujishita and H. Watanabe and J. Worrell},
title = {An Axiomatics for Categories of Transition Systems as Coalgebras},
journal ={Logic in Computer Science, Symposium on},
volume = {0},
year = {1998},
issn = {1043-6871},
pages = {207},
doi = {http://doi.ieeecomputersociety.org/10.1109/LICS.1998.705657},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

TY - CONF
JO - Logic in Computer Science, Symposium on
TI - An Axiomatics for Categories of Transition Systems as Coalgebras
SN - 1043-6871
SP
EP
A1 - P. Johnstone,
A1 - J. Power,
A1 - T. Tsujishita,
A1 - H. Watanabe,
A1 - J. Worrell,
PY - 1998
VL - 0
JA - Logic in Computer Science, Symposium on
ER -