ACM Computing Surveys (CSUR)
Third Generation Computer Systems
ACM Computing Surveys (CSUR)
Some Deadlock Properties of Computer Systems
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR)
Mixed solutions for the deadlock problem
Communications of the ACM
Comments on prevention of system deadlocks
Communications of the ACM
On-Line Control and Deadlock-Avoidance in a Page-Parallel Multiprocessor Rasterizer
IEEE Transactions on Parallel and Distributed Systems
A large-scale dual operating system
ACM '73 Proceedings of the ACM annual conference
Proper termination of flow-of-control in programs involving concurrent processes
ACM '72 Proceedings of the ACM annual conference - Volume 2
Some deadlock properties of computer systems
SOSP '71 Proceedings of the third ACM symposium on Operating systems principles
On the probability of deadlock in computer systems
SOSP '73 Proceedings of the fourth ACM symposium on Operating system principles
A short discussion of interprocess communication in the sue/360/370 operating system
Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems
Modeling and design description of hierarchical hardware/software systems
DAC '75 Proceedings of the 12th Design Automation Conference
Deadlock prevention in message switched networks
ACM '74 Proceedings of the 1974 annual conference - Volume 1
Verifying formal specifications of synchronous processes
POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
Some deadlock properties of computer systems
ACM SIGOPS Operating Systems Review
A unified treatment of deadlock
Journal of Computing Sciences in Colleges
Proper termination of flow-of-control in programs involving concurrent processes
ACM SIGPLAN Notices - Special issue on control structures in programming languages
Project LOGOS at Case Western Reserve University
ACM SIGDA Newsletter
Efficient detection of a class of stable properties
Distributed Computing
Models and algorithms for deadlock in computer systems
ACM SIGOPS Operating Systems Review
A study of response times under various deadlock algorithms and job schedulers
ACM '74 Proceedings of the 1974 annual ACM conference - Volume 2
LOGOS and the software engineer
AFIPS '72 (Fall, part I) Proceedings of the December 5-7, 1972, fall joint computer conference, part I
A Comparison of Some Theoretical Models of Parallel Computation
IEEE Transactions on Computers
Determining deadlock exposure for a class of store and forward communication networks
IBM Journal of Research and Development
Deadlock avoidance, non-linearity and games
VECoS'10 Proceedings of the Fourth international conference on Verification and Evaluation of Computer and Communication Systems
Hi-index | 0.03 |