Pages that link to "Item:Q1858434"
From MaRDI portal
The following pages link to Combining programs and state machines (Q1858434):
Displayed 14 items.
- Straight-line instruction sequence completeness for total calculation on cancellation meadows (Q538468) (← links)
- On the contribution of backward jumps to instruction sequence expressiveness (Q692892) (← 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)
- Risk assessment for one-counter threads (Q1015382) (← links)
- Thread algebra for strategic interleaving (Q2461536) (← links)
- Synchronous cooperation for explicit multi-threading (Q2464036) (← links)
- Simulating Turing machines on Maurer machines (Q2480963) (← links)
- On the operating unit size of load/store architectures (Q3564342) (← links)
- Maurer computers for pipelined instruction processing (Q5458071) (← links)