用进步逻辑扩展Owicki和Gries的理论第条作者：Brijesh Dongol
; 道格·戈德森
0000-0003-0446-3507##空
Brijesh Dongol；道格·戈德森
本文描述了并发程序的进度逻辑。逻辑是基于UNITY的，经过模塑以适合顺序编程模型。通过在系统中使用辅助变量实现二者的集成将程序计数器合并到程序文本中的方式。的规则UNITY的进展随后被修改以适应这一新系统。本次修改然而，它的微妙程度足以让奥维基和格里斯的理论得以应用没有变化。
卷：第2卷第1期
发布日期：2006年3月10日
提交日期：2005年1月12日
关键词：计算机科学-计算机科学中的逻辑，D.2.4，D.3.1，F.3.1
