El álgebra de hilos es un álgebra de procesos específica de dominio que se puede utilizar para el trabajo semántico en sistemas secuenciales, incluidos sistemas basados en programación multi-hilo determinista. El álgebra de hilos se utiliza en esta capacidad con el fenómeno de pronóstico para programas y máquinas como un dominio de interés. Se proponen varias nuevas nociones informales: servicios de prospección, patrones de previsión para sistemas y condiciones de anticipación como un mecanismo para la especificación de servicios. Se proponen algunos nuevos servicios de prospección que facilitan la realización de ciertos patrones de previsión. Se proporcionan varios resultados negativos sobre la no realizabilidad de ciertos patrones de previsión.