Pages that link to "Item:Q1858432"
From MaRDI portal
The following pages link to Program algebra for sequential code (Q1858432):
Displayed 24 items.
- Inversive meadows and divisive meadows (Q420833) (← links)
- Straight-line instruction sequence completeness for total calculation on cancellation meadows (Q538468) (← links)
- Thread algebra for poly-threading (Q640299) (← links)
- On the contribution of backward jumps to instruction sequence expressiveness (Q692892) (← links)
- On the expressiveness of single-pass instruction sequences (Q692925) (← links)
- Instruction sequence processing operators (Q715042) (← links)
- Machine structure oriented control code logic (Q731332) (← links)
- Execution architectures for program algebra (Q881834) (← links)
- Decision problems for pushdown threads (Q884992) (← links)
- Program algebra with a jump-shift instruction (Q959050) (← links)
- A thread calculus with molecular dynamics (Q988554) (← links)
- Program algebra with unit instruction operators (Q1858433) (← links)
- Combining programs and state machines (Q1858434) (← links)
- Molecular dynamics (Q1858435) (← links)
- On the complexity of the correctness problem for non-zeroness test instruction sequences (Q2007725) (← links)
- Thread algebra for strategic interleaving (Q2461536) (← links)
- Synchronous cooperation for explicit multi-threading (Q2464036) (← links)
- Denotational semantics for thread algebra (Q2469153) (← links)
- Simulating Turing machines on Maurer machines (Q2480963) (← links)
- Polarized process algebra with reactive composition (Q2571202) (← links)
- Evaluation Trees for Proposition Algebra (Q3449625) (← links)
- On the operating unit size of load/store architectures (Q3564342) (← links)
- Thread algebra for noninterference (Q3625692) (← links)
- Maurer computers for pipelined instruction processing (Q5458071) (← links)