Sciweavers

CIE
2005
Springer

A Thread Algebra with Multi-level Strategic Interleaving

14 years 3 months ago
A Thread Algebra with Multi-level Strategic Interleaving
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. 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 behaviours may exist concurrently in a single network on the internet, etc. Strategic interleaving is also present at these other levels. In the current paper, we extend the theory developed so far with features to cover multi-level strategic interleaving. We use the resulting theory to develop a simplified, formal representation schema of the design of systems that consist of several multi-threaded programs on various hosts in different networks. This schema can be useful in understanding certain aspects of such systems.
Jan A. Bergstra, C. A. Middelburg
Added 26 Jun 2010
Updated 26 Jun 2010
Type Conference
Year 2005
Where CIE
Authors Jan A. Bergstra, C. A. Middelburg
Comments (0)