Synchronous cooperation for explicit multi-threading

DOI10.1007/s00236-007-0057-9zbMath1133.68051OpenAlexW2151878555MaRDI QIDQ2464036

C. A. Middelburg, Jan A. Bergstra

Publication date: 10 December 2007

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00236-007-0057-9

zbMATH Keywords

algebraic theory of threadsMaurer machines

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

On the expressiveness of single-pass instruction sequences ⋮ Simulating Turing machines on Maurer machines ⋮ A thread calculus with molecular dynamics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fixed point equations with parameters in the projective model
• A thread calculus with molecular dynamics
• Algebraic and fixed point equations over inverse limits of algebras
• Linear time and branching time semantics for recursion with merge
• Program algebra for component code
• Program algebra for sequential code
• Combining programs and state machines
• Thread algebra for strategic interleaving
• Notions of bisimulation and congruence formats for SOS with data
• A theory of computer instructions
• A thread algebra with multi-level strategic interleaving
• Process algebra for synchronous communication
• Processes and the denotational semantics of concurrency
• Maurer computers for pipelined instruction processing
• A Theory of Computer Instructions
• CONCUR 2005 – Concurrency Theory

This page was built for publication: Synchronous cooperation for explicit multi-threading