PROCESS THEORY BASED ON BISIMULATION SEMANTICS

被引：15

作者：

BERGSTRA, JA

KLOP, JW

机构：

[1] STATE UNIV UTRECHT,DEPT PHILOSOPHY,3508 TA UTRECHT,NETHERLANDS

[2] CTR MATH & COMP SCI,1009 AB AMSTERDAM,NETHERLANDS

[3] FREE UNIV AMSTERDAM,DEPT MATH & COMP SCI,1081 HV AMSTERDAM,NETHERLANDS

来源：

关键词：

D O I：

10.1007/BFb0013021

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：50 / 122

页数：73

共 54 条

[41]

MILNER R, 1985, LECT NOTES COMPUT SC, V197, P197

[42] A COMPLETE INFERENCE SYSTEM FOR A CLASS OF REGULAR BEHAVIORS [J].

MILNER, R .

[43]

MILNER R, 1980, SPRINGER LNCS, V92

[44]

MILNER R, 1988, IN PRESS INFORMATION

[45]

MILNER R, 1984, LECTURES CALCULUS CO

[46]

MOLLER F, 1988, NONFINITE AXIOMATISA

[47]

MULDER JC, 1988, CWI CSR8827 CTR MATH

[48]

PARK D, 1981, SPRINGER LNCS, V104

[49]

PHILLIPS ICC, 1987, TCS, V50

[50]

VAANDRAGER FW, 1986, CSR8608 CTR MATH COM