On reduction of asynchronous systems
- 31 August 1977
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 5 (1) , 25-50
- https://doi.org/10.1016/0304-3975(77)90041-x
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Formal verification of parallel programsCommunications of the ACM, 1976
- ReductionCommunications of the ACM, 1975
- Testing for the Church-Rosser PropertyJournal of the ACM, 1974
- Tree-Manipulating Systems and Church-Rosser TheoremsJournal of the ACM, 1973
- Parallel program schemataJournal of Computer and System Sciences, 1969
- On Theories with a Combinatorial Definition of "Equivalence"Annals of Mathematics, 1942