Concurrent Pascal with backward error recovery: Language features and examples
- 1 December 1979
- journal article
- research article
- Published by Wiley in Software: Practice and Experience
- Vol. 9 (12) , 1001-1020
- https://doi.org/10.1002/spe.4380091204
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- A program structure for error detection and recoveryPublished by Springer Nature ,2005
- Concurrent Pascal with backward error recovery: ImplementationSoftware: Practice and Experience, 1979
- A Model of Recoverability in Multilevel SystemsIEEE Transactions on Software Engineering, 1978
- Reliable Resource Allocation Betvveen Unreliable ProcessesIEEE Transactions on Software Engineering, 1978
- Sequential pascal with recovery blocksSoftware: Practice and Experience, 1978
- Software reliabilityACM SIGPLAN Notices, 1977
- The programming language Concurrent PascalIEEE Transactions on Software Engineering, 1975
- System structure for software fault toleranceIEEE Transactions on Software Engineering, 1975
- Hierarchical ordering of sequential processesActa Informatica, 1971