| Original language | Undefined/Unknown |
|---|---|
| Title of host publication | proceedings CiE |
| Editors | S.B. Cooper, B. Loewe, L. Torenvliet |
| Pages | 25-48 |
| Number of pages | 24 |
| Publication status | Published - 2005 |
A thread algebra with multi-level strategic interleaving
J.A. Bergstra, C.A. Middelburg
Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review