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