Synchronous cooperation for explicit multi-threading

DOI10.1007/S00236-007-0057-9zbMATH Open1133.68051OpenAlexW2151878555MaRDI QIDQ2464036FDOQ2464036

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

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

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)

Cites Work

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

Cited In (8)

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