Probabilistic Thread Algebra

Probabilistic Thread Algebra

We add probabilistic features to basic thread algebra and its extensions with thread-service interaction and strategic interleaving. Here, threads represent the behaviours produced by instruction sequences under execution and services represent the behaviours exhibited by the components of execution environments of instruction sequences. In a paper concerned with probabilistic instruction seque...

Program Algebra and Thread Algebra

Probabilistic Process Algebra Probabilistic Process Algebra

An Introduction to Program and Thread Algebra

We provide an introduction to Program Algebra (PGA, an algebraic approach to the modeling of sequential programming) and to Thread Algebra (TA). PGA is used as a basis for several lowand higher-level programming languages. As an example we consider a simple language with goto’s. Threads in TA model the execution of programs. Threads may be composed with services which model (part of) the execut...

Formalizing SANE Virtual Processor in Thread Algebra

The SANE Virtual Processor (SVP) is a fine-grain, threadbased model of concurrent program composition developed and used at the University of Amsterdam as a basis for designing and programming many-core chips. Its design goal was to support dynamic concurrency and hence support self-adaptive systems within the AETHER collaborative European project. It provides an effective solution for programm...