%0 Journal Article
%T occam语言的时态语义
%A 耿峻？
%A 谭新明？
%J 软件学报
%P 12-27
%D 1990
%X 本文在给定的occam子集上建立它的组合式时态语义。为了处理并发问题引入了局部环境、局部存储和局部通道状态,使其成为真正的并发语义,并在此语义下讨论了进程的各种分布式性质。
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19900202&flag=1