We present an extension of the polarized process algebra BPPA, an algebraic theory about sequential program behaviors. The\ud extension is called thread algebra and is proposed as a tool for the description and analysis of multi-threaded program behaviors. Strategic interleaving refers to the form of concurrency where some interleaving strategy is used rather than arbitrary interleaving. Strategic interleav-\ud ing is considered characteristic of multi-threading. Multi-threaded concurrency is more limited than general concurrency based on arbitrary interleaving
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.