Ada: an advanced introduction
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
Communicating sequential processes
Communications of the ACM
Distributed processes: a concurrent programming concept
Communications of the ACM
Anomaly detection in concurrent programs
ICSE '79 Proceedings of the 4th international conference on Software engineering
Hi-index | 0.00 |