The Java Programming Language
C# Concisely
Polarized process algebra and program equivalence
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
Thread Algebra with Multi-Level Strategies
Fundamenta Informaticae
Maurer computers for pipelined instruction processing†
Mathematical Structures in Computer Science
Maurer Computers with Single-Thread Control
Fundamenta Informaticae
Maurer Computers with Single-Thread Control
Fundamenta Informaticae
Thread Algebra with Multi-Level Strategies
Fundamenta Informaticae
Hi-index | 0.00 |
In a previous paper, we developed an algebraic theory of threads and multi-threads based on strategic interleaving. This theory includes a number of plausible interleaving strategies on thread vectors. The strategic interleaving of a thread vector constitutes a multi-thread. Several multi-threads may exist concurrently on a single host in a network, several host behaviors may exist concurrently in a single network on the internet, etc. Strategic interleaving is also present at these other levels. In the current paper, we extend the theory developed so far with features to cover multi-level strategic interleaving.