Homomorphisms between models of parallel computation
- 1 December 1982
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 25 (3), 285-331
- https://doi.org/10.1016/0022-0000(82)90014-9
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Petri NetsACM Computing Surveys, 1977
- On reduction of asynchronous systemsTheoretical Computer Science, 1977
- Formal verification of parallel programsCommunications of the ACM, 1976
- The equality problem for vector addition systems is undecidableTheoretical Computer Science, 1976
- ReductionCommunications of the ACM, 1975
- A Comparison of Some Theoretical Models of Parallel ComputationIEEE Transactions on Computers, 1973
- A Survey of Some Theoretical Aspects of MultiprocessingACM Computing Surveys, 1973
- Parallel program schemataJournal of Computer and System Sciences, 1969