Automata and fixed point logic: A coalgebraic perspective
暂无分享,去创建一个
[1] Damian Niwinski,et al. Fixed Point Characterization of Infinite Behavior of Finite-State Systems , 1997, Theor. Comput. Sci..
[2] Vincent Danos,et al. Rule-Based Modelling of Cellular Signalling , 2007, CONCUR.
[3] Jan J. M. M. Rutten,et al. Automata and Coinduction (An Exercise in Coalgebra) , 1998, CONCUR.
[4] Alexander Kurz. A Co-Variety-Theorem for Modal Logic , 1998, Advances in Modal Logic.
[5] Bart Jacobs,et al. Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study , 2001, RAIRO Theor. Informatics Appl..
[6] Alexandru Baltag,et al. A Logic for Coalgebraic Simulation , 2000, CMCS.
[7] Bart Jacobs,et al. The temporal logic of coalgebras via Galois algebras , 2002, Mathematical Structures in Computer Science.
[8] Edmund M. Clarke,et al. Model Checking , 1999, Handbook of Automated Reasoning.
[9] Vera Trnková,et al. Relational Automata ina Category and their Language , 1977, FCT.
[10] Roland Carl Backhouse,et al. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction , 2000, Lecture Notes in Computer Science.
[11] Jan J. M. M. Rutten. Relators and Metric Bisimulations , 1998, CMCS.
[12] Thomas Wilke,et al. Automata logics, and infinite games: a guide to current research , 2002 .
[13] Thomas Wilke,et al. Automata Logics, and Infinite Games , 2002, Lecture Notes in Computer Science.
[14] Yde Venema. Automata and Fixed Point Logics for Coalgebras , 2004, CMCS.
[15] D. Harrison,et al. Vicious Circles , 1995 .
[16] S. Pinchinat,et al. Automata, Logics, and Infinite Games , 2007 .
[17] Yde Venema,et al. Closure properties of coalgebra automata , 2005, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
[18] David E. Muller,et al. Simulating Alternating Tree Automata by Nondeterministic Automata: New Results and New Proofs of the Theorems of Rabin, McNaughton and Safra , 1995, Theor. Comput. Sci..
[19] Igor Walukiewicz,et al. Automata for the Modal mu-Calculus and related Results , 1995, MFCS.
[20] J. Adámek,et al. Automata and Algebras in Categories , 1990 .
[21] Bart Jacobs,et al. Exercises in Coalgebraic Specification , 2000, Algebraic and Coalgebraic Methods in the Mathematics of Program Construction.
[22] Dirk Pattinson,et al. Semantical Principles in the Modal Logic of Coalgebras , 2001, STACS.
[23] S. Shelah,et al. Annals of Pure and Applied Logic , 1991 .
[24] Igor Walukiewicz,et al. On the Expressive Completeness of the Propositional mu-Calculus with Respect to Monadic Second Order Logic , 1996, CONCUR.
[25] Martin Rößiger,et al. Coalgebras and Modal Logic , 2000, CMCS.
[26] Jan J. M. M. Rutten,et al. Behavioural differential equations: a coinductive calculus of streams, automata, and power series , 2003, Theor. Comput. Sci..
[27] G. M. Kelly,et al. A $2$-categorical approach to change of base and geometric morphisms I , 1991 .
[28] M. Rabin. Decidability of second-order theories and automata on infinite trees , 1968 .
[29] Lawrence S. Moss,et al. Coalgebraic Logic , 1999, Ann. Pure Appl. Log..
[30] E. Allen Emerson,et al. Tree automata, mu-calculus and determinacy , 1991, [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science.
[31] Samson Abramsky,et al. A Cook's Tour of the Finitary Non-Well-Founded Sets , 2011, We Will Show Them!.
[32] David Janin,et al. Automata for the mu-calculus and Related Results , 1995 .