论文信息 - Algebraic Enriched Coalgebras - 字舞流文

Algebraic Enriched Coalgebras

Marcello M. Bonsangue | Filippo Bonchi | Jan Rutten | Alexandra Silva | M. Bonsangue | J. Rutten | Alexandra Silva | F. Bonchi

[1] Eugenio Moggi,et al. Notions of Computation and Monads , 1991, Inf. Comput..

[2] Jan J. M. M. Rutten,et al. Algebraic Specification and Coalgebraic Synthesis of Mealy Automata , 2006, FACS.

[3] P. T. Johnstone,et al. Adjoint Lifting Theorems for Categories of Algebras , 1975 .

[4] Tarmo Uustalu,et al. Comonadic Notions of Computation , 2008, CMCS.

[5] Peter Buchholz,et al. Bisimulation relations for weighted automata , 2008, Theor. Comput. Sci..

[6] Kim G. Larsen,et al. Bisimulation through Probabilistic Testing , 1991, Inf. Comput..

[7] Azaria Paz,et al. Probabilistic automata , 2003 .

[8] Lutz Schröder,et al. Expressivity of coalgebraic modal logic: The limits and beyond , 2008, Theor. Comput. Sci..

[9] J. Rutten. Coalgebra, concurrency, and control , 1999 .

[10] Helle Hvid Hansen,et al. Coalgebraising Subsequential Transducers , 2008, CMCS.

[11] Jan J. M. M. Rutten,et al. Universal coalgebra: a theory of systems , 2000, Theor. Comput. Sci..

[12] Ana Sokolova,et al. Generic Trace Semantics via Coinduction , 2007, Log. Methods Comput. Sci..

[13] Alexandra Silva,et al. An Algebra for Kripke Polynomial Coalgebras , 2009, 2009 24th Annual IEEE Symposium on Logic In Computer Science.

[14] Corina Cîrstea,et al. Modal Logics are Coalgebraic , 2008, Comput. J..

[15] H. Peter Gumm,et al. Monoid-labeled transition systems , 2001, CMCS.