OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
Comments on “a correct and unrestrictive implementation of general semaphores”
ACM SIGOPS Operating Systems Review
Reasoning About Time in Higher-Level Language Software
IEEE Transactions on Software Engineering
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Communications of the ACM
Self-assessment procedure XXI: a self-assessment procedure on concurrency
Communications of the ACM
A dedicated small computer for artificial intelligence
SIGSMALL '90 Proceedings of the 1990 ACM SIGSMALL/PC symposium on Small systems
A system for teaching concurrent programming
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
Microkernels: a submodule for a traditional operating systems course
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
Expected deadlock time in a multiprocessing system
Journal of the ACM (JACM)
Further comments on "A Correct and Unrestrictive Implementation of General Semaphores"
ACM SIGOPS Operating Systems Review
A High-Performance Memory Allocator for Object-Oriented Systems
IEEE Transactions on Computers
An Algorithmic Approach on Deadlock Detection for Enhanced Parallelism in Multiprocessing Systems
PAS '97 Proceedings of the 2nd AIZU International Symposium on Parallel Algorithms / Architecture Synthesis
Some myths about famous mutual exclusion algorithms
ACM SIGACT News
High performance cycle detection scheme for multiprocessing systems
HiPC'04 Proceedings of the 11th international conference on High Performance Computing
Modularity versus efficiency in OSI system implementations
Computer Communications
| Hi-index | 0.03 |