Embedding a demonic semilattice in a relation algebra
From MaRDI portal
Publication:672711
DOI10.1016/0304-3975(94)00271-JzbMATH Open0874.68199DBLPjournals/tcs/DesharnaisBSTJMZ95WikidataQ57526139 ScholiaQ57526139MaRDI QIDQ672711FDOQ672711
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)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Relational heuristics for the design of deterministic programs
- Relational algebraic semantics of deterministic and nondeterministic programs
- Programs as partial graphs. I: Flow equivalence and correctness
- On the lattice of specifications: Applications to a specification methodology
- 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
- Embedding a demonic semilattice in a relation algebra
- Residuated Lattices
- Programming as a Discipline of Mathematical Nature
- Non-Commutative Residuated Lattices
- Relation algebras: Concept of points and representability
- The weakest prespecification
- A relation algebraic model of robust correctness
- Heuristics for constructing while loops
- On the mathematics of sequential decompositions
Cited In (10)
- Structured Document Algebra in Action
- Nondeterministic semantics of compound diagrams
- Relational demonic fuzzy refinement
- Nondeterministic Fuzzy Operators
- Embedding a demonic semilattice in a relation algebra
- Kleene under a modal demonic star
- A relation algebraic model of robust correctness
- Algebraic separation logic
- Parallel composition and decomposition of specifications
- Semantic distance between specifications
This page was built for publication: Embedding a demonic semilattice in a relation algebra
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q672711)
