《表1 卫式动作形式：一种同步语言多线程代码自动生成工具》
提示：宽带有限、当前游客访问压缩模式
定义1（同步多时钟卫式动作 （S-CGA）） .在S-CGA中卫式动作的形式为??A，其中，?为卫式，A为要执行的动作.其直观语义为，如果卫式?为真，则执行动作A.??A主要包括5种形式，见表1.
| 图表编号 | XD0073047700 严禁用于非法目的 |
|---|---|
| 绘制时间 | 2019.07.01 |
| 作者 | 杨志斌、袁胜浩、谢健、周勇、陈哲、薛垒、Jean-Paul BODEVEIX、Mamoun FILALI |
| 绘制单位 | 南京航空航天大学计算机科学与技术学院、软件新技术与产业化协同创新中心、南京航空航天大学计算机科学与技术学院、南京航空航天大学计算机科学与技术学院、南京航空航天大学计算机科学与技术学院、南京航空航天大学计算机科学与技术学院、上海航天电子技术研究所、IRIT-University of Toulouse、IRIT-University of Toulouse |
| 更多格式 | 高清、无水印（增值服务） |
