ON THE PARAMETERIZED ALGEBRAIC SPECIFICATION OF CONCURRENT SYSTEMS

被引：0

作者：

ASTESIANO, E

MASCARI, GF

REGGIO, G

WIRSING, M

机构：

[1] CNR,IST APPL CALCOLO,ROME,ITALY

[2] UNIV PASSAU,FAK MATH & INFORMAT,PASSAU,FED REP GER

来源：

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：342 / 358

页数：17

共 15 条

[1]

ASTESIANO E, 1983, CNET115 ETS QUAD

[2]

ASTESIANO E, 1985, UNPUB P ICS 85 ACM I

[3]

ASTESIANO E, 1983, CNET88 ETS QUAD

[4]

Bauer F.L., 1982, ALGORITHMIC LANGUAGE

[5] PARTIAL ABSTRACT TYPES [J].

BROY, M ;

WIRSING, M .

[6]

BROY M, 1983, LECTURE NOTES COMPUT, V159

[7]

BROY M, 1982, P IFIP TC2 WORKING C, V2

[8] CALCULI FOR SYNCHRONY AND ASYNCHRONY [J].

MILNER, R .

[9]

MILNER R, 1980, LECTURE NOTES COMPUT, V92

[10]

MOSSES P, 1984, LECTURE NOTES COMPUT