TESTING EQUIVALENCES FOR PROCESSES

[11] GUESSARIAN I, 1981, LECTURE NOTES COMPUT, V99

[12] A TERM MODEL FOR SYNCHRONOUS PROCESSES [J]. INFORMATION AND CONTROL, 1981, 51 (01): : 58 - 75

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

[14] Hennessy M, 1982, LECTURE NOTES COMPUT, V137, P178

[15] Hennessy Matthew C. B., 1980, LECTURE NOTES COMPUT, V88, p[261, 1], DOI DOI 10.1007/BFB0022510

[16] HOARE CAR, 1978, COMM ACM, V21

[17] HOARE CAR, 1981, PRG22 U OXF COMP LAB

[18] HOARE CAR, 1981, PRG16 U OXF COMP LAB

[19] ICHBIAH JD, 1980, REFERENCE MANUAL ADA

[20] KENNAWAY JK, 1981, THESIS U OXFORD

[11] GUESSARIAN I, 1981, LECTURE NOTES COMPUT, V99

[12] A TERM MODEL FOR SYNCHRONOUS PROCESSES [J]. INFORMATION AND CONTROL, 1981, 51 (01): : 58 - 75

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

[14] Hennessy M, 1982, LECTURE NOTES COMPUT, V137, P178

[15] Hennessy Matthew C. B., 1980, LECTURE NOTES COMPUT, V88, p[261, 1], DOI DOI 10.1007/BFB0022510

[16] HOARE CAR, 1978, COMM ACM, V21

[17] HOARE CAR, 1981, PRG22 U OXF COMP LAB

[18] HOARE CAR, 1981, PRG16 U OXF COMP LAB

[19] ICHBIAH JD, 1980, REFERENCE MANUAL ADA

[20] KENNAWAY JK, 1981, THESIS U OXFORD