Program algebra for sequential code
From MaRDI portal
Publication:1858432
DOI10.1016/S1567-8326(02)00018-8zbMath1008.68079WikidataQ114850075 ScholiaQ114850075MaRDI QIDQ1858432
Publication date: 13 February 2003
Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Maurer computers for pipelined instruction processing, Inversive meadows and divisive meadows, Straight-line instruction sequence completeness for total calculation on cancellation meadows, Thread algebra for poly-threading, On the contribution of backward jumps to instruction sequence expressiveness, On the expressiveness of single-pass instruction sequences, Instruction sequence processing operators, Machine structure oriented control code logic, Execution architectures for program algebra, Decision problems for pushdown threads, Program algebra with a jump-shift instruction, A thread calculus with molecular dynamics, Program algebra with unit instruction operators, Combining programs and state machines, Molecular dynamics, On the complexity of the correctness problem for non-zeroness test instruction sequences, Thread algebra for strategic interleaving, Synchronous cooperation for explicit multi-threading, Denotational semantics for thread algebra, Simulating Turing machines on Maurer machines, Polarized process algebra with reactive composition, Evaluation Trees for Proposition Algebra, On the operating unit size of load/store architectures, Thread algebra for noninterference
Cites Work