21 search results - page 1 / 5 » An Introduction to Program and Thread Algebra |
CIE
2006
Springer
13 years 8 months ago
2006
Springer
ACTA
2007
13 years 5 months ago
2007
Threads as contained in a thread algebra emerge from the behavioral abstraction from programs in an appropriate program algebra. Threads may make use of services such as stacks, an...
MST
2008
13 years 4 months ago
2008
Abstract Threads as contained in a thread algebra are used for the modeling of sequential program behavior. A thread that may use a counter to control its execution is called a `on...
FUIN
2007
13 years 4 months ago
2007
We present the development of a theory of stored threads and their execution. The work builds upon Maurer’s theory of computer instructions and the thread algebra of Bergstra et ...
POPL
2009
ACM
14 years 5 months ago
2009
ACM
We develop a model of concurrent imperative programming with threads. We focus on a small imperative language with cooperative threads which execute without interruption until the...