Non-associative Kleene Algebra and Temporal Logics
暂无分享,去创建一个
[1] Bernhard Möller,et al. Kleene getting lazy , 2007, Sci. Comput. Program..
[2] Bernhard Möller,et al. Lazy Kleene Algebra , 2004, MPC.
[3] Rutger M. Dijkstra. Computation calculus bridging a formalization gap , 2000, Sci. Comput. Program..
[4] Dexter Kozen. A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events , 1994, Inf. Comput..
[5] E. Allen Emerson,et al. Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[6] K. I. Rosenthal. Quantales and their applications , 1990 .
[7] Dexter Kozen,et al. Kleene algebra with tests , 1997, TOPL.
[8] C. A. R. Hoare,et al. Exploring an Interface Model for CKA , 2015, MPC.
[9] Dexter Kozen. Some Results in Dynamic Model Theory , 2002, MPC.
[10] Georg Struth,et al. Kleene algebra with domain , 2003, TOCL.
[11] Georg Struth,et al. Quantales and Temporal Logics , 2006, AMAST.
[12] Jules Desharnais,et al. Characterizing determinacy in Kleene algebras , 2001, Inf. Sci..
[13] Gunther Schmidt,et al. Relations and Graphs: Discrete Mathematics for Computer Scientists , 1993 .
[14] J. Conway. Regular algebra and finite machines , 1971 .
[15] S C Kleene,et al. Representation of Events in Nerve Nets and Finite Automata , 1951 .