Embedding a demonic semilattice in a relation algebra
From MaRDI portal
Publication:672711
DOI10.1016/0304-3975(94)00271-JzbMath0874.68199WikidataQ57526139 ScholiaQ57526139MaRDI QIDQ672711
Ali Jaoua, Fairouz Tchier, Salah Ben Mohamed Sghaier, Jules Desharnais, Nadir Belkhiter
Publication date: 28 February 1997
Published in: Theoretical Computer Science (Search for Journal in Brave)
Related Items
A relation algebraic model of robust correctness ⋮ Nondeterministic Fuzzy Operators ⋮ Embedding a demonic semilattice in a relation algebra ⋮ Algebraic separation logic ⋮ Semantic distance between specifications ⋮ Relational demonic fuzzy refinement ⋮ Structured Document Algebra in Action ⋮ Parallel composition and decomposition of specifications ⋮ Nondeterministic semantics of compound diagrams ⋮ Kleene under a modal demonic star
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Embedding a demonic semilattice in a relation algebra
- Relation algebras: Concept of points and representability
- Relational heuristics for the design of deterministic programs
- Relational algebraic semantics of deterministic and nondeterministic programs
- The weakest prespecification
- Programs as partial graphs. I: Flow equivalence and correctness
- Heuristics for constructing while loops
- On the lattice of specifications: Applications to a specification methodology
- On the mathematics of sequential decompositions
- A relation algebraic model of robust correctness
- A relational approach to the design of deterministic programs
- A relational division operator: The conjugate kernel
- A generalized control structure and its formal definition
- Demonic operators and monotype factors
- Programming as a Discipline of Mathematical Nature
- Residuated Lattices
- Non-Commutative Residuated Lattices
