Pages that link to "Item:Q672711"
From MaRDI portal
The following pages link to Embedding a demonic semilattice in a relation algebra (Q672711):
Displaying 10 items.
- Nondeterministic semantics of compound diagrams (Q258605) (← links)
- Algebraic separation logic (Q549676) (← links)
- Embedding a demonic semilattice in a relation algebra (Q672711) (← links)
- Kleene under a modal demonic star (Q817579) (← links)
- A relation algebraic model of robust correctness (Q1350502) (← links)
- Semantic distance between specifications (Q1583257) (← links)
- Parallel composition and decomposition of specifications (Q1602555) (← links)
- Relational demonic fuzzy refinement (Q2336161) (← links)
- Nondeterministic Fuzzy Operators (Q3459759) (← links)
- Structured Document Algebra in Action (Q5256355) (← links)
