Critical races in Ada programs
- 1 January 1989
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 15 (11) , 1471-1480
- https://doi.org/10.1109/32.41338
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- Remote rendezvousSoftware: Practice and Experience, 1987
- The mutual exclusion problemJournal of the ACM, 1986
- The mutual exclusion problemJournal of the ACM, 1986
- Debugging Ada Tasking ProgramsIEEE Software, 1985
- Verifying Concurrent Processes Using Temporal LogicPublished by Springer Nature ,1982
- Message passing between sequential processes: The reply primitive and the administrator conceptSoftware: Practice and Experience, 1981
- Algorithm = logic + controlCommunications of the ACM, 1979
- Petri NetsACM Computing Surveys, 1977
- Hierarchical ordering of sequential processesActa Informatica, 1971