Kleene under a modal demonic star

DOI10.1016/j.jlap.2005.04.006zbMath1086.68080OpenAlexW2049680684MaRDI QIDQ817579

Bernhard Möller, Fairouz Tchier, Jules Desharnais

Publication date: 16 March 2006

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://opus.bibliothek.uni-augsburg.de/opus4/files/251/TB_2004_11.pdf

zbMATH Keywords

verificationdemonic semanticsKleene algebrawhile looprulegeneralisationrelational abstraction

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (7)

Normal design algebra ⋮ Axioms for signatures with domain and demonic composition ⋮ Latest News about Demonic Algebra with Domain ⋮ Algebraic separation logic ⋮ Fixpoints for general correctness ⋮ Algebras for iteration and infinite computations ⋮ Nondeterministic semantics of compound diagrams

Cites Work

• Embedding a demonic semilattice in a relation algebra
• Fixed-point calculus
• Relational heuristics for the design of deterministic programs
• Relational algebraic semantics of deterministic and nondeterministic programs
• An algebraic study of well-foundedness
• On the lattice of specifications: Applications to a specification methodology
• Formal program development. IFIP TC2/WG 2.1 State-of-the-Art report
• A completeness theorem for Kleene algebras and the algebra of regular events
• Characterizing determinacy in Kleene algebras
• Predicative programming Part II
• The new math of computer programming
• Guarded commands, nondeterminacy and formal derivation of programs
• Demonic operators and monotype factors
• Relational Methods in Computer Science
• Refinement Calculus
• Kleene algebra with domain
• Algebraic Methodology and Software Technology
• Mathematics of Program Construction
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Kleene under a modal demonic star