Deadlock and fairness in parallel schemas: A set-theoretic characterization and decision problems
- 5 July 1980
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 10 (4-5) , 234-239
- https://doi.org/10.1016/0020-0190(80)90148-9
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Parallel system schemas and their relation to automataInformation Processing Letters, 1980
- A specification of parallel problemsInformation Processing Letters, 1979
- Derivatives of Regular ExpressionsJournal of the ACM, 1964