Distributed strategic interleaving with load balancing
Future Generation Computer Systems
Maurer computers for pipelined instruction processing†
Mathematical Structures in Computer Science
Maurer Computers with Single-Thread Control
Fundamenta Informaticae
Goto elimination in program algebra
Science of Computer Programming
Instruction Sequences with Dynamically Instantiated Instructions
Fundamenta Informaticae
Data Linkage Dynamics with Shedding
Fundamenta Informaticae - From Mathematical Beauty to the Truth of Nature: to Jerzy Tiuryn on his 60th Birthday
ACM Transactions on Computational Logic (TOCL)
Maurer Computers with Single-Thread Control
Fundamenta Informaticae
Data Linkage Algebra, Data Linkage Dynamics, and Priority Rewriting
Fundamenta Informaticae
Hi-index | 0.00 |
We take a thread as the behavior of a sequential deterministic program under execution and multi-threading as the form of concurrency provided by contemporary programming languages such as Java and C#. We outline an algebraic theory about threads and multi-threading. In the case of multi-threading, some deterministic interleaving strategy determines how threads are interleaved. Interleaving operators for a number of plausible interleaving strategies are specified in a simple and concise way. By that, we show that it is essentially open-ended what counts as an interleaving strategy. We use deadlock freedom as an example to show that there are properties of multi-threaded programs that depend on the interleaving strategy used.