Introduction to Operation Systems Design
Introduction to Operation Systems Design
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
PASCAL user manual and report
The specification of process synchronization by path expressions
Operating Systems, Proceedings of an International Symposium
ICSE '79 Proceedings of the 4th international conference on Software engineering
Towards the construction of verifiable software systems
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
Practical applications of path pascal in systems programming
ACM '79 Proceedings of the 1979 annual conference
SIMULA 67 common base language, (Norwegian Computing Center. Publication)
SIMULA 67 common base language, (Norwegian Computing Center. Publication)
ACM SIGPLAN Notices
| Hi-index | 0.00 |