ACM Computing Surveys (CSUR)
Fail-stop processors: an approach to designing fault-tolerant computing systems
ACM Transactions on Computer Systems (TOCS)
Reference Manual for the ADA Programming Language
Reference Manual for the ADA Programming Language
Notes on Data Base Operating Systems
Operating Systems, An Advanced Course
A principle for resilient sharing of distributed resources
ICSE '76 Proceedings of the 2nd international conference on Software engineering
A survivable distributed computing system for embedded application programs written in Ada
ACM SIGAda Ada Letters
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
Demonstrable fault tolerance for distributed Ada
TRI-Ada '93 Proceedings of the conference on TRI-Ada '93
The first embedded distributed Ada95 application
Proceedings of the conference on TRI-Ada '95: Ada's role in global markets: solutions for a changing complex world
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Hi-index | 0.00 |