Synchronous cooperation for explicit multi-threading

DOI10.1007/S00236-007-0057-9MaRDI QIDQ2464036zbMATHOpenAlexFDO

Authors C. A. Middelburg, J. 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

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

Recommendations

• Resource control for synchronous cooperative threads
• CONCUR 2004 - Concurrency Theory
• Feasible reactivity for synchronous cooperative threads
• Efficient synchronization of multiprocessors with shared memory
• Fair Cooperative Multithreading
• scientific article; zbMATH DE number 48617

Cites work

• scientific article; zbMATH DE number 2038694 (Why is no real title available?)
• scientific article; zbMATH DE number 1517989 (Why is no real title available?)
• A Theory of Computer Instructions
• A theory of computer instructions
• A thread algebra with multi-level strategic interleaving
• A thread calculus with molecular dynamics
• Algebraic and fixed point equations over inverse limits of algebras
• CONCUR 2005 – Concurrency Theory
• Combining programs and state machines
• Fixed point equations with parameters in the projective model
• Linear time and branching time semantics for recursion with merge
• Maurer computers for pipelined instruction processing
• Notions of bisimulation and congruence formats for SOS with data
• Process algebra for synchronous communication
• Processes and the denotational semantics of concurrency
• Program algebra for component code
• Program algebra for sequential code
• Thread algebra for strategic interleaving
• Thread algebra with multi-level strategies

Cited in

(8)

• Resource control for synchronous cooperative threads
• New Computational Paradigms
• Feasible reactivity for synchronous cooperative threads
• A thread calculus with molecular dynamics
• Simulating Turing machines on Maurer machines
• On the expressiveness of single-pass instruction sequences
• A model of cooperative threads
• A model of cooperative threads

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2464036)