A thread algebra with multi-level strategic interleaving

DOI10.1007/S00224-006-1337-4MaRDI QIDQ2642901zbMATH OpenOpenAlexFDO

Authors C. A. Middelburg, J. A. Bergstra

Publication date 6 September 2007

Published in Theory of Computing Systems (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial 4.0 International

Full work available at URL https://doi.org/10.1007/s00224-006-1337-4

zbMATH Keywords

design of systemsmulti-threaded programs

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Thread algebra with multi-level strategies
• New Computational Paradigms
• Thread algebra for strategic interleaving
• Process algebra with strategic interleaving
• Thread algebra for poly-threading

Cited in

(8)

• Process algebra with strategic interleaving
• Thread algebra for strategic interleaving
• Synchronous cooperation for explicit multi-threading
• Thread algebra with multi-level strategies
• New Computational Paradigms
• Thread algebra for poly-threading
• Instruction sequence processing operators
• A thread calculus with molecular dynamics

This page was built for publication: A thread algebra with multi-level strategic interleaving

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