The following pages link to (Q4192046):
Displayed 13 items.
- Imperative abstractions for functional actions (Q604455) (← links)
- Algebras for iteration and infinite computations (Q715050) (← links)
- Semantics of algorithmic languages (Q760200) (← links)
- Normal design algebra (Q844885) (← links)
- Alternating states for dual nondeterminism in imperative programming (Q974118) (← links)
- Relational algebraic semantics of deterministic and nondeterministic programs (Q1079010) (← links)
- A theory for nondeterminism, parallelism, communication, and concurrency (Q1081296) (← links)
- On correct refinement of programs (Q1157144) (← links)
- A continuous semantics for unbounded nondeterminism (Q1171370) (← links)
- Relation-algebraic semantics (Q1350513) (← links)
- Parallel constructions of maximal path sets and applications to short superstrings (Q1366535) (← links)
- Constructive design of a hierarchy of semantics of a transition system by abstract interpretation (Q1605224) (← links)
- Lazy Relations (Q3498411) (← links)