TESTING EQUIVALENCES FOR PROCESSES

[1] VARIETIES OF ORDERED ALGEBRAS [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1976, 13 (02) : 200 - 212

[2] BRINCHHANSEN P, 1978, COMMUN ACM, V21, P934

[3] BRINCHHANSEN P, 1975, IEEE T SOFTWARE ENG, V1, P99

[4] COURCELLE B, 1976, 17TH P FOCS ANN S HO

[5] Darondeau P., 1982, LNCS, V137, P47, DOI [10.1007/3-540- 11494-7_5, DOI 10.1007/3-540-11494-7_5]

[6] DENICOLA R, 1983, LECT NOTES COMPUT SC, V158, P115

[7] DENICOLA R, THESIS U EDINBURGH

[8] SEMANTICS OF NONDETERMINISM, CONCURRENCY, AND COMMUNICATION [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1979, 19 (03) : 290 - 308

[9] INITIAL ALGEBRA SEMANTICS AND CONTINUOUS ALGEBRAS [J]. JOURNAL OF THE ACM, 1977, 24 (01) : 68 - 95

[10] Gordon M. J. C., 1979, The Denotational Description of Programming Languages: An Introduction

[1] VARIETIES OF ORDERED ALGEBRAS [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1976, 13 (02) : 200 - 212

[2] BRINCHHANSEN P, 1978, COMMUN ACM, V21, P934

[3] BRINCHHANSEN P, 1975, IEEE T SOFTWARE ENG, V1, P99

[4] COURCELLE B, 1976, 17TH P FOCS ANN S HO

[5] Darondeau P., 1982, LNCS, V137, P47, DOI [10.1007/3-540- 11494-7_5, DOI 10.1007/3-540-11494-7_5]

[6] DENICOLA R, 1983, LECT NOTES COMPUT SC, V158, P115

[7] DENICOLA R, THESIS U EDINBURGH

[8] SEMANTICS OF NONDETERMINISM, CONCURRENCY, AND COMMUNICATION [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1979, 19 (03) : 290 - 308

[9] INITIAL ALGEBRA SEMANTICS AND CONTINUOUS ALGEBRAS [J]. JOURNAL OF THE ACM, 1977, 24 (01) : 68 - 95

[10] Gordon M. J. C., 1979, The Denotational Description of Programming Languages: An Introduction