AN INTRODUCTION TO EVENT STRUCTURES

被引：61

作者：

WINSKEL, G

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 354卷

关键词：

D O I：

10.1007/BFb0013026

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：364 / 397

页数：34

相关论文

共 28 条

[1]

BEDNARCZYK MA, 1988, 188 U SUSS REP

[2]

BERRY G, 1982, TCS, V20

[3]

Berry Gerard, 1979, THESIS U PARIS 7

[4]

BOUDOL G, 1987, SPRINGER LEC NOTES C, V249

[5]

CASTELLANI I, 1988, LECT N COMP, V354

[6]

COQUAND T, 1987, 3RD P WORKSH MATH F

[7]

COQUAND T, 1987, IN PRESS INFORMATION

[8]

CURIEN PL, 1986, RES NOTES THEORETICA

[9]

DEGANO PD, 1988, P LICS

[10]

ENGBERG U, 1988, LECT N COMP, V354