Are infinite behaviours of parallel system schemata necessary?
- 1 January 1983
- book chapter
- Published by Springer Nature
- p. 108-117
- https://doi.org/10.1007/3-540-11981-7_7
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Deadlock and fairness in parallel schemas: A set-theoretic characterization and decision problemsInformation Processing Letters, 1980
- Parallel system schemas and their relation to automataInformation Processing Letters, 1980
- A specification of parallel problemsInformation Processing Letters, 1979