[1] |
J. L. Baer,A survey of Theoretical Aspects of Multiprocessing, Comput Surveys (1)5 (1975), 32–80. · Zbl 0266.68013 |
[2] |
J. L. Baer,Graph Models of Computation in Computer Systems, University of California, Tech. Rep. 68-46 (1968). |
[3] |
A. J. Benstein,Analysis of Program for Parallel Processing, IEEE Trans. Electron. Comp.EC15 (1966), 757–763. · Zbl 0149.37501 · doi:10.1109/PGEC.1966.264565 |
[4] |
R. M. Karp, R. E. Miller,Parallel Program Schemata, J. Comput. System Sci. (2)3 (1969), 147–195. · Zbl 0198.32603 · doi:10.1016/S0022-0000(69)80011-5 |
[5] |
R. M. Keller,Parallel Program Schemata and Maximal Parallelism, J. A. C.M. (3)20 (1973), 514–537 (Part. I), J. A. C. M. (4)20 (1973), 696–710 (Part. II). |
[6] |
R. L. Kleir, C. V. Ramamoorthy,Optimization Strategies for Microprograms, IEEE Trans. Computers (7)C-20 (1971), 783–794. · Zbl 0221.68011 · doi:10.1109/T-C.1971.223347 |
[7] |
I. Margaria, A. R. Meo, M. Zacchi,A new Scheme for Analyzing Parallel Processing Systems, Proc. Sagamore Computer Conference on Parallel Processing (1975), 182–185. |
[8] |
I. Margaria, A. R. Meo, M. Zacchi,Formal Properties in a Model for Parallel Programs, Int. Rep. Istituto di Scienza dell’Informazione-Università di Torino (1977). |
[9] |
I. K. Millen,construction with Parallel Derivatives of the Closure of Parallel Program Schemata, Proc. Sixth Annual ACM Symposium (1974), 242–247. · Zbl 0361.68015 |
[10] |
R. E. Miller,Some Urdecidability Results for Parallel Program Schemata. SIAM J. Comput. (1)1 (1972), 119–129. · Zbl 0242.68009 · doi:10.1137/0201007 |
[11] |
R. E. Miller,A Comparison of some Theoretical Models of Parallel Computation, IEEE Trans. Computers (8)C-22 (1973), 710–717. · Zbl 0262.68011 · doi:10.1109/TC.1973.5009149 |
[12] |
C. A. Petri,Communication with Automata, Griffis, Air Force Base, Supp. 1 to Tech. Rep. RADC-TR-65-3771 (1966). |
[13] |
K. Vairavan, R. A. De Millo,Parallel Scheduling of Programs in a Restricted Model of Computation, Proc. Sixth Annual ACM Symposium (1974), 284–255. |