Paper: An Axiomatics for Categories of Transition Systems as Coalgebras (at LICS 1998)
Authors: Peter Johnstone John Power Toru Tsujishita Hiroshi Watanabe James WorrellAbstract
No Abstract Available
BibTeX
@InProceedings{JohnstonePowerTsuji-AnAxiomaticsforCate, author = {Peter Johnstone and John Power and Toru Tsujishita and Hiroshi Watanabe and James Worrell}, title = {An Axiomatics for Categories of Transition Systems as Coalgebras}, booktitle = {Proceedings of the Thirteenth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1998}, year = 1998, editor = {Vaughan Pratt}, month = {June}, pages = {207-213}, location = {Indianapolis, IN, USA}, publisher = {IEEE Computer Society Press} }