Thread algebra with multi-level strategies

zbMATH Open1095.68061MaRDI QIDQ5480652FDOQ5480652

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

Publication date: 3 August 2006

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

zbMATH Keywords

networkprocess algebraserviceexception handlingmulti-threadhostthread algebrastrategic interleavingdelayed processingformal design prototypethread-service composition

Mathematics Subject Classification ID

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

Cited In (11)

• A thread algebra with multi-level strategic interleaving
• Program algebra with a jump-shift instruction
• Simulating Turing machines on Maurer machines
• Title not available (Why is that?)
• A thread calculus with molecular dynamics
• Machine structure oriented control code logic
• Splitting bisimulations and retrospective conditions
• Thread algebra for strategic interleaving
• Synchronous cooperation for explicit multi-threading
• New Computational Paradigms
• Thread algebra for poly-threading

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)