An Axiomatics for Categories of Transition Systems as Coalgebras

Peter Johnstone, John Power, Toru Tsujishita, Hiroshi Watanabe, James Worrell. An Axiomatics for Categories of Transition Systems as Coalgebras. In LICS. pages 207-213, 1998.

Abstract

Abstract is missing.