Embedding a demonic semilattice in a relation algebra

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)

zbMATH Keywords

relation algebra

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

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