Pages that link to "Item:Q1079010"
From MaRDI portal
The following pages link to Relational algebraic semantics of deterministic and nondeterministic programs (Q1079010):
Displaying 31 items.
- Nondeterministic semantics of compound diagrams (Q258605) (← links)
- An algebraic approach to computations with progress (Q299188) (← links)
- Relations into algebras of probabilistic distributions (Q406461) (← links)
- Abstract representation theorems for demonic refinement algebras (Q604454) (← links)
- Logical analysis of demonic nondeterministic programs (Q671651) (← links)
- Embedding a demonic semilattice in a relation algebra (Q672711) (← links)
- A generalized notion of semantic independence (Q674287) (← links)
- Algebras for iteration and infinite computations (Q715050) (← links)
- Kleene under a modal demonic star (Q817579) (← links)
- Finite representability of semigroups with demonic refinement (Q829757) (← links)
- Normal design algebra (Q844885) (← links)
- Relational concurrent refinement. II: Internal operations and outputs (Q1019018) (← links)
- Relational algebraic semantics of deterministic and nondeterministic programs (Q1079010) (← links)
- Relation algebraic domain constructions (Q1177156) (← links)
- An algebraic characterization of semantic independence (Q1183413) (← links)
- Relation-algebraic semantics (Q1350513) (← links)
- Parallel constructions of maximal path sets and applications to short superstrings (Q1366535) (← links)
- Parallel composition and decomposition of specifications (Q1602555) (← links)
- Monomorphic characterization of \(n\)-ary direct products (Q1961870) (← links)
- Relational demonic fuzzy refinement (Q2336161) (← links)
- Weak \(n\)-ary relational products in allegories (Q2345058) (← links)
- Infinite executions of lazy and strict computations (Q2347906) (← links)
- Relational computation of sets of relations (Q2695345) (← links)
- Relational Semantics Revisited (Q2810687) (← links)
- A Relation-Algebraic Approach to Multirelations and Predicate Transformers (Q2941166) (← links)
- Nondeterministic Fuzzy Operators (Q3459759) (← links)
- On the Structure of Demonic Refinement Algebras with Enabledness and Termination (Q3498406) (← links)
- Lazy Relations (Q3498411) (← links)
- On Automating the Calculus of Relations (Q3541686) (← links)
- Demonic operators and monotype factors (Q4286527) (← links)
- A Relation-Algebraic Treatment of the Dedekind Recursion Theorem (Q5098710) (← links)
