ADA: Concurrent Programming
Operating system concepts (2nd ed.)
Operating system concepts (2nd ed.)
Symmetric intertask communication
ACM Transactions on Programming Languages and Systems (TOPLAS)
Detection of Ada Static Deadlocks Using Petri Net Invariants
IEEE Transactions on Software Engineering
A general-purpose algorithm for analyzing concurrent programs
Communications of the ACM
Task interaction graphs for concurrency analysis
ICSE '89 Proceedings of the 11th international conference on Software engineering
AMT—the Ada maintenance toolchest
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
An Ada deadlock testing algorithm based on control and communication flow graphs
An Ada deadlock testing algorithm based on control and communication flow graphs
An efficient search algorithm to find the elementary circuits of a graph
Communications of the ACM
Systematic generation of Hamiltonian circuits
Communications of the ACM
Developing requirements for a user interface
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Hi-index | 0.00 |