Simulating Turing machines on Maurer machines

DOI10.1016/J.JAL.2007.04.001zbMath1150.03011OpenAlexW2096557037MaRDI QIDQ2480963

C. A. Middelburg, Jan A. Bergstra

Publication date: 7 April 2008

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://research.tue.nl/nl/publications/simulating-turing-machines-on-maurer-machines(e02f6174-67c2-45fe-bcee-e80d622a222b).html

zbMATH Keywords

Turing machinethread algebrastrategic interleavingfair interleaving strategyMaurer machinethread forking

Mathematics Subject Classification ID

Turing machines and related notions (03D10)

Related Items (1)

Thread algebra for strategic interleaving

Cites Work

• Predicative methodology
• Program algebra for sequential code
• Combining programs and state machines
• Synchronous cooperation for explicit multi-threading
• A theory of computer instructions
• Splitting bisimulations and retrospective conditions
• Process Algebra
• Maurer computers for pipelined instruction processing
• A Theory of Computer Instructions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Simulating Turing machines on Maurer machines