作者:Rob van Glabbeek无效的罗布·范·格拉贝克
本文扩展了一个带有超时运算符的标准进程代数,从而增加其绝对表现力,同时保持在不计时过程代数的领域,从时间的进步不是量化。跟踪和故障等价性在这方面不一致操作员;它们的同余闭包的特征是故障跟踪等效性。