PETRI NETS, EVENT STRUCTURES AND DOMAINS, .1.

被引:514
作者
NIELSEN, M [1 ]
PLOTKIN, G [1 ]
WINSKEL, G [1 ]
机构
[1] UNIV EDINBURGH,DEPT COMP SCI,EDINBURGH EH9 3JZ,MIDLOTHIAN,SCOTLAND
关键词
D O I
10.1016/0304-3975(81)90112-2
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
引用
收藏
页码:85 / 108
页数:24
相关论文
共 16 条
[1]  
BEST E, 1977, 116 U NEWC UP TYN CO
[2]   INITIAL ALGEBRA SEMANTICS AND CONTINUOUS ALGEBRAS [J].
GOGUEN, JA ;
THATCHER, JW ;
WAGNER, EG ;
WRIGHT, JB .
JOURNAL OF THE ACM, 1977, 24 (01) :68-95
[3]  
Gratzer G., 1979, LATTICE THEORY
[4]  
HOLT AW, 1968, RADCTR68305 ROM AIR
[5]  
KAHN G, 1978, IRIA336 RECH RAPP
[6]   BASES FOR CHAIN-COMPLETE POSETS [J].
MARKOWSKY, G ;
ROSEN, BK .
IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1976, 20 (02) :138-147
[7]  
Mazurkiewicz A., 1977, DAIMI REP SER, V78
[8]   CONCURRENT PROCESSES AND THEIR SYNTAX [J].
MILNE, G ;
MILNER, R .
JOURNAL OF THE ACM, 1979, 26 (02) :302-321
[9]  
PETRI CA, 1978, GMDISF7606 INT REP
[10]  
PETRI CA, 1976, ARBEITSBERICHTE IMMD, V9, P57