Relational algebraic semantics of deterministic and nondeterministic programs
Theoretical Computer Science
Relational heuristics for the design of deterministic programs
Acta Informatica
Communications of the ACM
Combining angels, demons and miracles in program specifications
Theoretical Computer Science
Relations and graphs: discrete mathematics for computer scientists
Relations and graphs: discrete mathematics for computer scientists
A relational division operator: the conjugate kernel
Theoretical Computer Science
Embedding a demonic semilattice in a relation algebra
Theoretical Computer Science
Theoretical Computer Science
Algebraic approaches to nondeterminism—an overview
ACM Computing Surveys (CSUR)
Relational semantics for locally nondeterministic programs
New Generation Computing
A generalized control structure and its formal definition
Communications of the ACM
Princples of Computer Programming
Princples of Computer Programming
A Discipline of Programming
A Calculus for Predicative Programming
Proceedings of the Second International Conference on Mathematics of Program Construction
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Similarity relations and fuzzy orderings
Information Sciences: an International Journal
Hi-index | 0.00 |
We deal with a relational algebra model to define a refinement fuzzy ordering (demonic fuzzy inclusion) and also the associated fuzzy operations which are fuzzy demonic join (∪fuz), fuzzy demonic meet (∩fuz) and fuzzy demonic composition (□fuz). We give also some properties of these operations and illustrate them with simple examples. Our formalism is the relational algebra.