Communicating sequential processes
Communicating sequential processes
Process algebra
A Theory of Computer Instructions
Journal of the ACM (JACM)
Communication and Concurrency
Computer Architecture: A Quantitative Approach
Computer Architecture: A Quantitative Approach
Design of a Computer—The Control Data 6600
Design of a Computer—The Control Data 6600
A theory of computer instructions
Science of Computer 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
Polarized process algebra and program equivalence
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
On the Behaviours Produced by Instruction Sequences under Execution
Fundamenta Informaticae
Hi-index | 0.00 |
We introduce a strict version of the concept of a load/store instruction set architecture in the setting of Maurer machines. We take the view that transformations on the states of a Maurer machine are achieved by applying threads as considered in thread algebra to the Maurer machine. We study how the transformations on the states of the main memory of a strict load/store instruction set architecture that can be achieved by applying threads depend on the operating unit size, the cardinality of the instruction set and the maximal number of states of the threads.