Luttgen等人将进程代数与时序逻辑相结合,提出了逻辑标记转换系统（logic labeled transition system,LLTS）以及相应的精化关系——LL......

进程代数与时序逻辑是并发理论中应用最为广泛的两大规范系统。近来，GeraldLuttgen等人将二者进行结合，提出了逻辑标记转换系统以及......