Synthesis and equivalence of concurrent systems
- 30 June 1988
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 58 (1-3) , 183-199
- https://doi.org/10.1016/0304-3975(88)90026-6
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Spacetime representations of computational structuresComputing, 1984
- On the Analysis and Synthesis of VLSI AlgorithmsIEEE Transactions on Computers, 1982
- Petri nets, event structures and domains, part ITheoretical Computer Science, 1981
- The parallel execution of DO loopsCommunications of the ACM, 1974
- On the Number of Operations Simultaneously Executable in Fortran-Like Programs and Their Resulting SpeedupIEEE Transactions on Computers, 1972
- Parallel Processing with the Perfect ShuffleIEEE Transactions on Computers, 1971
- Heterogeneous algebrasJournal of Combinatorial Theory, 1970