%0 Journal Article
%T 线性逻辑,petri网和并发计算
%A 黄林鹏 孙永强？
%J 计算机科学
%D 1991
%K 线性逻辑计算petri网
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=536758&flag=1