Thread algebra and risk assessment services
Jan Aldert Bergstra, Inge Bethke, Alban Ponse · Cambridge University Press eBooks · 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, and a thread using a single stack is called a pushdown thread. Equivalence of pushdown threads is decidable. Using this decidability result, an alternative to Cohen's impossibility result on virus detection is discussed and some results on risk assessment services are proved.