ALGEBRAIC DATA TYPE AND PROCESS SPECIFICATIONS BASED ON PROJECTION SPACES

被引：0

作者：

EHRIG, H

PARISIPRESICCE, F

BOEHM, P

RIECKHOFF, C

DIMITROVICI, C

GROSSERHODE, M

机构：

来源：

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：23 / 43

页数：21

共 25 条

[1]

ARNOLD A, 1980, FUNDAMENTA INFORMATI, V3, P445

[2]

BERGSTRA JA, 1983, IW23583 MATH CENTR R

[3]

BERGSTRA JA, 1986, CWI MONOGRAPHS, V1, P89

[4] COMPLETIONS OF PARTIALLY ORDERED SETS AND UNIVERSAL ALGEBRAS [J].

BLEICHER, MN ;

SCHNEIDE.H .

ACTA MATHEMATICA ACADEMIAE SCIENTIARUM HUNGARICAE, 1966, 17 (3-4) :271-&

[5]

BLUM EK, 1987, J COMPUTER SYSTE APR, V34

[6] PROCESSES AND THE DENOTATIONAL SEMANTICS OF CONCURRENCY [J].

DEBAKKER, JW ;

ZUCKER, JI .

INFORMATION AND CONTROL, 1982, 54 (1-2) :70-120

[7]

DEBAKKER JW, 1982, 14TH P ASS COMP MACH, P153

[8]

DIMITROVVICI C, 1987, 877 TU BERL TECHN RE

[9]

EHRIG H, 1986, LECT NOTES COMPUT SC, V233, P59, DOI 10.1007/BFb0016234

[10]

EHRIG H, 1986, ALGEBRAIC SEMANTICS