Communicating sequential processes
Communicating sequential processes
Process algebra
A Theory of Computer Instructions
Journal of the ACM (JACM)
Communication and Concurrency
Introduction to Automata Theory, Languages and Computability
Introduction to Automata Theory, Languages and Computability
Micro-Threading: A New Approach to Future RISC
ACAC '00 Proceedings of the 5th Australasian Computer Architecture Conference
A theory of computer instructions
Science of Computer Programming
Splitting bisimulations and retrospective conditions
Information and Computation
Thread algebra for strategic interleaving
Formal Aspects of Computing
Polarized process algebra and program equivalence
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
A thread algebra with multi-level strategic interleaving
CiE'05 Proceedings of the First international conference on Computability in Europe: new Computational Paradigms
Thread Algebra with Multi-Level Strategies
Fundamenta Informaticae
On the Behaviours Produced by Instruction Sequences under Execution
Fundamenta Informaticae
| Hi-index | 0.00 |
We investigate basic issues concerning stored threads and their execution, building upon Maurer's model for computers and the thread algebra of Bergstra et al. We show among other things that a single thread can control the execution on a Maurer machine of any executable finite-state thread stored in the memory of the Maurer machine. We also relate stored threads with programs as considered in the program algebra of Bergstra et al. The work is intended as a preparation for the development of a formal approach to model micro-architectures and to verify their correctness and anticipated speed-up results.