作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑
顺序推理机中并发进程的同步控制
黄明
CONCURRENT PROCESS SYNCHRONIZATION FOR SEQUENTIAL REFERENCE MACHINES
. 1990, (03): 48 -51 .