逻辑式程序设计语言的CCS执行模型的静态实现方法  

作　　者：江文青 蒋雪明 

出　　处：《计算机技术》1989年第6期34-38,共5页

关 键 词：程序设计语言 逻辑式 并行执行模型 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]