Thread algebra with multi-level strategies
From MaRDI portal
Publication:5480652
zbMATH Open1095.68061MaRDI QIDQ5480652FDOQ5480652
Authors: J. A. Bergstra, C. A. Middelburg
Publication date: 3 August 2006
Recommendations
networkprocess algebraserviceexception handlingmulti-threadhostthread algebrastrategic interleavingdelayed processingformal design prototypethread-service composition
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)