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

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

为了形式化规范、验证和分析反应式并发系统,学术界提出并发展了多种形式化规范方法。这些方法大体上可分为两类：基于动作的和基于......