An Axiomatics for Categories of Transition Systems as Coalgebras.

Peter T. Johnstone, John Power, Toru Tsujishita, Hiroshi Watanabe, James Worrell

Browse the full LICS paper archive.