Thread algebra with multi-level strategies

MaRDI QIDQ5480652zbMATH OpenFDO

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

Publication date 3 August 2006

zbMATH Keywords

delayed processingexception handlingformal design prototypehostmulti-threadnetworkprocess algebraservicestrategic interleavingthread algebrathread-service composition

Mathematics Subject Classification ID

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

Recommendations

• A thread algebra with multi-level strategic interleaving
• New Computational Paradigms
• Thread algebra for strategic interleaving
• Process algebra with strategic interleaving
• Thread algebra for noninterference

Cited in

(13)

• Process algebra with strategic interleaving
• Thread algebra for strategic interleaving
• Synchronous cooperation for explicit multi-threading
• Simulating Turing machines on Maurer machines
• Splitting bisimulations and retrospective conditions
• A thread algebra with multi-level strategic interleaving
• Probabilistic thread algebra
• scientific article; zbMATH DE number 5263139 (Why is no real title available?)
• New Computational Paradigms
• Thread algebra for poly-threading
• Machine structure oriented control code logic
• Program algebra with a jump-shift instruction
• A thread calculus with molecular dynamics

This page was built for publication: Thread algebra with multi-level strategies

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