A thread algebra with multi-level strategic interleaving
From MaRDI portal
Publication:2642901
DOI10.1007/s00224-006-1337-4zbMath1127.68066MaRDI 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
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Instruction sequence processing operators, A thread calculus with molecular dynamics, Process algebra with strategic interleaving, Synchronous cooperation for explicit multi-threading