A thread algebra with multi-level strategic interleaving
| Authors | |
|---|---|
| Publication date | 2007 |
| Journal | Theory of Computing Systems |
| Volume | Issue number | 41 |
| Pages (from-to) | 3-32 |
| Organisations |
|
| Document type | Article |
| Note | SSE8 |
| Published at | https://doi.org/10.1007/s00224-006-1337-4 |
| Permalink to this page | |
