Peter Johnstone, John Power, Toru Tsujishita, Hiroshi Watanabe, James Worrell
An Axiomatics for Categories of Transition Systems as Coalgebras
LICS, 1998.
@inproceedings{LICS-1998-JohnstonePTWW, author = "Peter Johnstone and John Power and Toru Tsujishita and Hiroshi Watanabe and James Worrell", booktitle = "{Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.1998.705657", isbn = "0-8186-8506-9", pages = "207--213", publisher = "{IEEE Computer Society}", title = "{An Axiomatics for Categories of Transition Systems as Coalgebras}", year = 1998, }