On programming atomic actions in Ada 95
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 254-265
- https://doi.org/10.1007/3-540-63114-3_23
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- On the provision of backward error recovery in production programming languagesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Ada95: An effective concurrent programming languagePublished by Springer Nature ,1996
- Backward error recovery via conversations in AdaSoftware Engineering Journal, 1995
- Fault TolerancePublished by Springer Nature ,1990
- Error recovery in asynchronous systemsIEEE Transactions on Software Engineering, 1986
- Approaches to Mechanization of the Conversation Scheme Based on MonitorsIEEE Transactions on Software Engineering, 1982
- System structure for software fault toleranceIEEE Transactions on Software Engineering, 1975