Name
Abstract | ||
|---|---|---|
It is a fact of life that sequential programs are often fragmented. Consequently, fragmented program behaviours are frequently found. We consider this phenomenon in the setting of thread algebra. We extend basic thread algebra with poly-threading, the barest mechanism for sequencing of threads that are taken for program fragment behaviours. This mechanism is the counterpart of program overlaying at the level of program behaviours. We relate the resulting theory to the process theory known as ACP and use it to describe analytic execution architectures suited for fragmented programs. We also consider the case where the steps of fragmented program behaviours are interleaved in the ways of non-distributed and distributed multi-threading. |
Year | DOI | Venue |
|---|---|---|
2011 | 10.1007/s00165-011-0178-3 | Journal of Pragmatics |
Keywords | Field | DocType |
Poly-threading,Thread algebra,Process algebra,Execution architecture,Non-distributed multi-threading,Distributed multi-threading | Programming language,Computer science,Threading (manufacturing),Theoretical computer science,Sequential method,Thread (computing),Phenomenon,Overlay,Process theory,Process calculus,Thread algebra | Journal |
Volume | Issue | ISSN |
23 | 4 | Formal Aspects of Computing, 23(4):567--583, 2011 |
Citations | PageRank | References |
3 | 0.41 | 16 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Jan A. Bergstra | 1 | 1445 | 140.42 |
| Cornelis A. Middelburg | 2 | 487 | 49.21 |