ON THE STRUCTURE OF DEMONIC

[1]  Henk Doornbos.  A Relational Model of Programs Without the Restriction to Egli-Milner-Monotone Constructs , 1994, PROCOMET.

[2]  Roland Carl Backhouse,et al.  Galois Connections and Fixed Point Calculus , 2000, Algebraic and Coalgebraic Methods in the Mathematics of Program Construction.

[3]  Georg Struth,et al.  wp Is wlp , 2005 .

[4]  David Lorge Parnas.  A generalized control structure and its formal definition , 1983, CACM.

[5]  Dexter Kozen.  A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events , 1994, Inf. Comput..

[6]  Georg Struth,et al.  Kleene algebra with domain , 2003, TOCL.

[7]  Rudolf Berghammer,et al.  Relational Algebraic Semantics of Deterministic and Nondeterministic Programs , 1986, Theor. Comput. Sci..

[8]  Joakim von Wright,et al.  Refinement Algebra with Operators for Enabledness and Termination , 2006, MPC.

[9]  Jules Desharnais,et al.  Modal Kleene algebra and applications - a survey , 2004 .

[10]  Kim Solin.  On Two Dually Nondeterministic Refinement Algebras , 2006, RelMiCS.

[11]  Kim Solin.  Abstract Algebra of Program Refinement , 2007 .

[12]  Bernhard Möller,et al.  Kleene getting lazy , 2007, Sci. Comput. Program..

[13]  Ernie Cohen,et al.  Separation and Reduction , 2000, MPC.

[14]  Jules Desharnais,et al.  Demonic Algebra with Domain , 2006, RelMiCS.

[15]  Jules Desharnais,et al.  Latest News about Demonic Algebra with Domain , 2008, RelMiCS.

[16]  Dexter Kozen,et al.  Kleene algebra with tests , 1997, TOPL.

[17]  Jerzy Tiuryn,et al.  Dynamic logic , 2001, SIGA.

[18]  Bernhard Möller,et al.  Omega Algebra, Demonic Refinement Algebra and Commands , 2006, RelMiCS.