Verifying parallel programs with resource allocation
- 1 January 1979
- book chapter
- Published by Springer Nature
- p. 151-164
- https://doi.org/10.1007/3-540-09541-1_26
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Extending Concurrent Pascal to Allow Dynamic Resource ManagementIEEE Transactions on Software Engineering, 1977
- Language features for process interactionACM SIGPLAN Notices, 1977
- The programming language Concurrent PascalIEEE Transactions on Software Engineering, 1975
- A structured paging systemThe Computer Journal, 1973