VIEWS OF QUEUES

[1] TOP-DOWN DESIGN AND THE ALGEBRA OF COMMUNICATING PROCESSES [J]. SCIENCE OF COMPUTER PROGRAMMING, 1985, 5 (02) : 171 - 199

[2] DENOTATIONAL SEMANTICS OF COMMUNICATING SEQUENTIAL PROGRAMS [J]. INFORMATION PROCESSING LETTERS, 1986, 23 (05) : 253 - 259

[3] BROY M, 1985, LECT NOTES COMPUT SC, V185, P4

[4] PREDICATIVE SPECIFICATIONS FOR FUNCTIONAL PROGRAMS DESCRIBING COMMUNICATING NETWORKS [J]. INFORMATION PROCESSING LETTERS, 1987, 25 (02) : 93 - 101

[5] BROY M, 1984, NATO ASI SERIES F, V8, P199

[6] BROY M, 1983, 1982 IFIP TC2 WORK C, V2, P125

[7] Francez N., 1980, 21st Annual Symposium on Foundations of Computer Science, P373, DOI 10.1109/SFCS.1980.2

[8] Ginzburg A, 1968, ALGEBRAIC THEORY AUT

[9] Hoare C. A. R., 1985, COMMUNICATING SEQUEN

[10] KAPLAN S, 1987, LECT NOTES COMPUT SC, V247, P220

[1] TOP-DOWN DESIGN AND THE ALGEBRA OF COMMUNICATING PROCESSES [J]. SCIENCE OF COMPUTER PROGRAMMING, 1985, 5 (02) : 171 - 199

[2] DENOTATIONAL SEMANTICS OF COMMUNICATING SEQUENTIAL PROGRAMS [J]. INFORMATION PROCESSING LETTERS, 1986, 23 (05) : 253 - 259

[3] BROY M, 1985, LECT NOTES COMPUT SC, V185, P4

[4] PREDICATIVE SPECIFICATIONS FOR FUNCTIONAL PROGRAMS DESCRIBING COMMUNICATING NETWORKS [J]. INFORMATION PROCESSING LETTERS, 1987, 25 (02) : 93 - 101

[5] BROY M, 1984, NATO ASI SERIES F, V8, P199

[6] BROY M, 1983, 1982 IFIP TC2 WORK C, V2, P125

[7] Francez N., 1980, 21st Annual Symposium on Foundations of Computer Science, P373, DOI 10.1109/SFCS.1980.2

[8] Ginzburg A, 1968, ALGEBRAIC THEORY AUT

[9] Hoare C. A. R., 1985, COMMUNICATING SEQUEN

[10] KAPLAN S, 1987, LECT NOTES COMPUT SC, V247, P220