Tasking communication deadlocks in concurrent Ada programs
ACM SIGAda Ada Letters
Detection of Ada Static Deadlocks Using Petri Net Invariants
IEEE Transactions on Software Engineering
ACM SIGAda Ada Letters
ACM SIGAda Ada Letters
A general-purpose algorithm for analyzing concurrent programs
Communications of the ACM
A classification of tasking deadlocks
ACM SIGAda Ada Letters
Runtime detection and description of deadness errors in Ada tasking
ACM SIGAda Ada Letters
Task-wait-for graphs and their application to handling tasking deadlocks
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
Ada-Europe'06 Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies
| Hi-index | 0.00 |