The mutual exclusion problem: partII—statement and solutions
Journal of the ACM (JACM)
A fast mutual exclusion algorithm
ACM Transactions on Computer Systems (TOCS)
A simple solution to Lamport's concurrent programming problem with linear wait
ICS '88 Proceedings of the 2nd international conference on Supercomputing
Distributed FIFO allocation of identical resources using small shared space
ACM Transactions on Programming Languages and Systems (TOPLAS)
IEEE Transactions on Software Engineering
Memory Access Dependencies in Shared-Memory Multiprocessors
IEEE Transactions on Software Engineering
A first-come-first-served mutual-exclusion algorithm with small communication variables
ACM Transactions on Programming Languages and Systems (TOPLAS)
Implementation of classical mutual exclusion algorithms in Ada
ACM SIGAda Ada Letters
A formalism for specifying communicating processes
CSC '93 Proceedings of the 1993 ACM conference on Computer science
The communication requirements of mutual exclusion
Proceedings of the seventh annual ACM symposium on Parallel algorithms and architectures
Asynchronous group mutual exclusion (extended abstract)
PODC '98 Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing
Empirical studies of competitve spinning for a shared-memory multiprocessor
SOSP '91 Proceedings of the thirteenth ACM symposium on Operating systems principles
Data Requirements for Implementation of N-Process Mutual Exclusion Using a Single Shared Variable
Journal of the ACM (JACM)
Semaphore primitives and starvation-free mutual exclusion
Journal of the ACM (JACM)
Decentralized Simulation of Resource Managers
Journal of the ACM (JACM)
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)
A Survey of Some Theoretical Aspects of Multiprocessing
ACM Computing Surveys (CSUR)
A New Solution to Lamport's Concurrent Programming Problem Using Small Shared Variables
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
An optimal algorithm for mutual exclusion in computer networks
Communications of the ACM
A new solution of Dijkstra's concurrent programming problem
Communications of the ACM
Interference between communicating parallel processes
Communications of the ACM
Programming systems and languages 1965-1975
Communications of the ACM
Further comments on Dijkstra's concurrent programming control problem
Communications of the ACM
Comments on prevention of system deadlocks
Communications of the ACM
Concurrent control with “readers” and “writers”
Communications of the ACM
A note on “Program structures for parallel processing”
Communications of the ACM
Lamport on mutual exclusion: 27 years of planting seeds
Proceedings of the twentieth annual ACM symposium on Principles of distributed computing
MSL: a microprocessors systems language
ACM-SE 16 Proceedings of the 16th annual Southeast regional conference
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Scheme: A Interpreter for Extended Lambda Calculus
Higher-Order and Symbolic Computation
Verifying Erlang Code: A Resource Locker Case-Study
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
A proposal for certain process management and intercommunication primitives
ACM SIGOPS Operating Systems Review
A survey of permission-based distributed mutual exclusion algorithms
Computer Standards & Interfaces
Economical solutions for the critical section problem in a distributed system (Extended Abstract)
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
A new solution to the critical section problem
STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing
A structure for interprocess communication in a data communications handler
ACM '76 Proceedings of the 1976 annual conference
ACM '69 Proceedings of the 1969 24th national conference
A technique for proving liveness of communicating finite state machines with examples
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
Interprocess communication in real-time systems
SOSP '73 Proceedings of the fourth ACM symposium on Operating system principles
Log-logarithmic protocols for resolving ethernet and semaphore conflicts
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
Asynchronous interactions on shared data
ACM SIGOPS Operating Systems Review
A user-controlled synchronization method
ACM SIGOPS Operating Systems Review
ACM SIGPLAN Notices
A unified treatment of deadlock
Journal of Computing Sciences in Colleges
Shared-memory mutual exclusion: major research trends since 1986
Distributed Computing - Papers in celebration of the 20th anniversary of PODC
A survey of control structures in programming languages
ACM SIGPLAN Notices - Special issue on control structures in programming languages
Control functions for a multiprocessor architecture
ACM SIGOPS Operating Systems Review
Asynchronous group mutual exclusion
Distributed Computing
Adaptive solutions to the mutual exclusion problem
Distributed Computing
Towards a Theory of Universal Speed-Independent Modules
IEEE Transactions on Computers
AFIPS '66 (Fall) Proceedings of the November 7-10, 1966, fall joint computer conference
Control of sequence and parallelism in modular programs
AFIPS '68 (Spring) Proceedings of the April 30--May 2, 1968, spring joint computer conference
A survey of techniques for recognizing parallel processable streams in computer programs
AFIPS '69 (Fall) Proceedings of the November 18-20, 1969, fall joint computer conference
A prover for parallel processes
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
A Comparison of Some Theoretical Models of Parallel Computation
IEEE Transactions on Computers
Gadara: dynamic deadlock avoidance for multithreaded programs
OSDI'08 Proceedings of the 8th USENIX conference on Operating systems design and implementation
A study of shared-memory mutual exclusion protocols using CADP
FMICS'10 Proceedings of the 15th international conference on Formal methods for industrial critical systems
If a picture is worth a thousand words, what would an animation be worth?
Proceedings of the 16th Western Canadian Conference on Computing Education
Tight time-space tradeoff for mutual exclusion
STOC '12 Proceedings of the forty-fourth annual ACM symposium on Theory of computing
Science of Computer Programming
Simple, space-efficient, and fairness improved FCFS mutual exclusion algorithms
Journal of Parallel and Distributed Computing
Hi-index | 48.35 |