PETRI NETS, EVENT STRUCTURES AND DOMAINS, .1.

被引：516

作者：

NIELSEN, M ^{[1
]}

PLOTKIN, G ^{[1
]}

WINSKEL, G ^{[1
]}

机构：

[1] UNIV EDINBURGH,DEPT COMP SCI,EDINBURGH EH9 3JZ,MIDLOTHIAN,SCOTLAND

来源：

THEORETICAL COMPUTER SCIENCE | 1981年 / 13卷 / 01期

关键词：

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

← 1 2 →