Sciweavers

Share
ACTA
2007
104views more  ACTA 2007»
9 years 10 months ago
Decision problems for pushdown threads
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...
Jan A. Bergstra, Inge Bethke, Alban Ponse
books