Synchronization of communicating processes
Communications of the ACM
Communications of the ACM
The structure of the “THE”-multiprogramming system
Communications of the ACM
Operating system principles
The mutual exclusion problem: part I—a theory of interprocess communication
Journal of the ACM (JACM)
The mutual exclusion problem: partII—statement and solutions
Journal of the ACM (JACM)
Communications of the ACM
A thinning algorithm by contour generation
Communications of the ACM
Using histories to implement atomic objects
ACM Transactions on Computer Systems (TOCS)
Monitors and concurrent Pascal: a personal history
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Tools for teaching CCRs, monitors, and CSP concurrent programming concepts
ACM SIGCSE Bulletin
MULTISAFE—a modular multiprocessing approach to secure database management
ACM Transactions on Database Systems (TODS)
Concurrent reading and writing with replicated data objects
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR)
Concepts and Notations for Concurrent Programming
ACM Computing Surveys (CSUR)
Concurrent Reading While Writing
ACM Transactions on Programming Languages and Systems (TOPLAS)
A software design method for real-time systems
Communications of the ACM
Synchronization with eventcounts and sequencers
Communications of the ACM
Concurrent reading and writing
Communications of the ACM
Verifying properties of parallel programs: an axiomatic approach
Communications of the ACM
Detection of deadlocks in multiprocess systems
ACM SIGPLAN Notices
BGRAF2: a real-time graphics language with modular objects and implicit dynamics
SIGGRAPH '76 Proceedings of the 3rd annual conference on Computer graphics and interactive techniques
Association of graphic images and dynamic attributes
SIGGRAPH '77 Proceedings of the 4th annual conference on Computer graphics and interactive techniques
Data flow analysis of communicating processes
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Capsules: A Shared Memory Access Mechanism for Concurrent C/C++
IEEE Transactions on Parallel and Distributed Systems
The invention of concurrent programming
The origin of concurrent programming
The programming language concurrent Pascal
The origin of concurrent programming
Efficient interprocessor communication for MIMD multiprocessor systems
ISCA '81 Proceedings of the 8th annual symposium on Computer Architecture
Minimal multitasking operating systems for real-time controllers
SIGSMALL '81 Proceedings of the 1981 ACM SIGSMALL symposium on Small systems and SIGMOD workshop on Small database systems
X-Tree: A tree structured multi-processor computer architecture
ISCA '78 Proceedings of the 5th annual symposium on Computer architecture
A consistent and complete deductive system for the verification of parallel programs
STOC '76 Proceedings of the eighth annual ACM symposium on Theory of computing
Experience in the design, implementation and use of PL-11, a programming language for the PDP-11
SIGMINI '76 Proceedings of the ACM SIGMINI/SIGPLAN interface meeting on Programming systems in the small processor environment
The purpose of concurrent Pascal
Proceedings of the international conference on Reliable software
Constructing correct and efficient concurrent programs
Proceedings of the international conference on Reliable software
Consistency and event ordering in the shared regions model
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: distributed computing - Volume 2
Monitors and Concurrent Pascal: a personal history
History of programming languages---II
A concurrent microprogramming facility
ACM SIGMICRO Newsletter
ACM Transactions on Programming Languages and Systems (TOPLAS)
A semantics for concurrent separation logic
Theoretical Computer Science
Aspects of Applicative Programming for Parallel Processing
IEEE Transactions on Computers
A Grainless Semantics for Parallel Programs with Shared Mutable Data
Electronic Notes in Theoretical Computer Science (ENTCS)
A distributed synchronization mechanism for interacting processes
Computer Languages
A survey of support for structured communication in concurrency control models
Journal of Parallel and Distributed Computing
| Hi-index | 0.12 |