Kleene under a modal demonic star
From MaRDI portal
Publication:817579
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
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