OBSERVATION EQUIVALENCE AS A TESTING EQUIVALENCE

被引：107

作者：

ABRAMSKY, S

机构：

来源：

关键词：

D O I：

10.1016/0304-3975(87)90065-X

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：225 / 241

页数：17

共 13 条

[1]

ABRAMSKY S, 1983, LECT NOTES COMPUT SC, V158, P1

[2]

ACZEL P, 1985, LECTURE NOTES NONWEL

[3]

BLOOM B, 1987, UNPUB POPL 88

[4]

BROOKES SD, 1983, LECT NOTES COMPUT SC, V154, P97

[5]

DENICOLA R, 1983, LECT NOTES COMPUT SC, V154, P548

[6]

EBBINGHAUS HD, 1984, INTRO MATH LOGIC

[7]

Hennessy M., 1980, Lecture Notes in Computer Science, V85, P299, DOI [10.1007/3-540-10003-279, DOI 10.1007/3-540-10003-279]

[8]

MILNER R, 1980, LECTURE NOTES COMPUT, V92

[9]

Milner Robin, 1981, LNCS, V112, P25, DOI [10.1007/3-540-10828-952, DOI 10.1007/3-540-10828-952]

[10]

PHILLIPS I, 1986, LECT NOTES COMPUT SC, V226, P304