Thread algebra for strategic interleaving

Bergstra, Jan A.; Middelburg, Cornelis A.

doi:10.1007/s00165-007-0024-9

Cited by 60 publications

(185 citation statements)

References 27 publications

Supporting

Mentioning

185

Contrasting

Order By: Relevance

“…The other interleaving strategies treated in [7] can be adapted to the setting of multi-level strategic interleaving in a similar way. We have also presented a reasonable though simplified formal representation schema of the design of systems that consist of several multi-threaded programs on various hosts in different networks.…”

Section: Discussionmentioning

confidence: 99%

“…Other plausible interleaving strategies are treated in [7]. They can also be adapted to the features for multi-level level strategic interleaving that will be introduced in the current paper.…”

Section: A Basic Thread Algebra With Foci and Methodsmentioning

confidence: 99%

“…The strategic interleaving operator for cyclic interleaving is denoted by ( ). In [7] it was denoted by csi ( ) to distinguish it from other strategic interleaving operators.…”

Section: A Basic Thread Algebra With Foci and Methodsmentioning

confidence: 99%

“…In [7] we introduced a number of plausible deterministic interleaving strategies for multi-threading. We also proposed to use the phrase strategic interleaving for the more constrained form of interleaving obtained by using such a strategy.…”

Section: Introductionmentioning

confidence: 99%

“…Cyclic interleaving basically operates as follows: at each stage of the interleaving, the first thread in the thread vector gets a turn to perform a step and then becomes the last one while all others move one position. Other plausible interleaving strategies are treated in [7]. They can also be adapted to the setting of multi-level strategic interleaving.…”

Section: Introductionmentioning

confidence: 99%

See 4 more Smart Citations

A Thread Algebra with Multi-Level Strategic Interleaving

Bergstra

Middelburg

2007

Theory Comput Syst

View full text Add to dashboard Cite

Abstract. In a previous paper we developed an algebraic theory about threads and a form of concurrency where some deterministic interleaving strategy determines how threads that exist concurrently are interleaved. The interleaving of different threads 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. In the current paper we assume that the abovementioned kind of interleaving is also present at those other levels. We extend the theory developed so far with features to cover the multi-level case. We employ 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 and to verify a property of all systems designed according to that schema.

show abstract

Section: Discussionmentioning

confidence: 99%

Section: A Basic Thread Algebra With Foci and Methodsmentioning

confidence: 99%

“…The strategic interleaving operator for cyclic interleaving is denoted by ( ). In [7] it was denoted by csi ( ) to distinguish it from other strategic interleaving operators.…”

Section: A Basic Thread Algebra With Foci and Methodsmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

A Thread Algebra with Multi-Level Strategic Interleaving

Bergstra

Middelburg

2007

Theory Comput Syst

View full text Add to dashboard Cite

show abstract

A Thread Algebra with Multi-level Strategic Interleaving

Bergstra

Middelburg

2005

New Computational Paradigms

View full text Add to dashboard Cite

Abstract. 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 behaviors 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 systems that consist of several multi-threaded programs on various hosts in different networks. We also investigate the connections of the resulting theory with the algebraic theory of processes known as ACP.

show abstract