Social processes and proofs of theorems and programs
Communications of the ACM
Monitors: an operating system structuring concept
Communications of the ACM
PASCAL user manual and report
ACM SIGPLAN Notices
Detection of deadlocks in multiprocess systems
ACM SIGPLAN Notices
A paged - operating - system project
SIGSCE '84 Proceedings of the fifteenth SIGCSE technical symposium on Computer science education
The token-oriented approach to program editing
ACM SIGPLAN Notices
Hi-index | 0.00 |