A thread algebra with multi-level strategic interleaving
From MaRDI portal
Publication:2642901
DOI10.1007/s00224-006-1337-4zbMath1127.68066OpenAlexW2103914654MaRDI QIDQ2642901
C. A. Middelburg, Jan A. Bergstra
Publication date: 6 September 2007
Published in: Theory of Computing Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00224-006-1337-4
Related Items (4)
Synchronous cooperation for explicit multi-threading ⋮ Process algebra with strategic interleaving ⋮ Instruction sequence processing operators ⋮ A thread calculus with molecular dynamics
This page was built for publication: A thread algebra with multi-level strategic interleaving