Skip to main content
Article thumbnail
Location of Repository

Thread Algebra with Multi-Level Strategic Interleaving

By J.A. Bergstra and C.A. Middelburg


In a previous paper, we developed an algebraic theory of threads and multi-threads based on strategic interleaving. This theory includes a number of plausible interleaving strategies on thread vectors.\ud The strategic interleaving of a thread vector constitutes a multi-thread. Several multi-threads may exist concurrently on a single host in a network, several host behaviors may exist concurrently in a single network on the internet, etc. Strategic interleaving is also present at these other\ud levels. In the current paper, we extend the theory developed so far with features to cover multi-level strategic interleaving

Topics: Wijsbegeerte, thread, multi-thread, host, network, service, thread algebra, strategic interleaving, thread-service composition, exception handling, formal design prototype
Year: 2004
OAI identifier:
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.