Self-assessment procedure XXI: a self-assessment procedure on concurrency
Communications of the ACM
Using Petri nets to introduce operating system concepts
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
Monitors and concurrent Pascal: a personal history
HOPL-II The second ACM SIGPLAN conference on History of programming languages
ACM Computing Surveys (CSUR)
Some myths about famous mutual exclusion algorithms
ACM SIGACT News
Monitors and Concurrent Pascal: a personal history
History of programming languages---II
Paper: Deadlock detection without wait-for graphs
Parallel Computing
Multimedia file systems survey: approaches for continuous media disk scheduling
Computer Communications
| Hi-index | 0.02 |