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)
A fast mutual exclusion algorithm
ACM Transactions on Computer Systems (TOCS)
Distributing Hot-Spot Addressing in Large-Scale Multiprocessors
IEEE Transactions on Computers
VLSI assist for a multiprocessor
ASPLOS II Proceedings of the second international conference on Architectual support for programming languages and operating systems
On processor coordination using asynchronous hardware
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
A protocol for wait-free, atomic, multi-reader shared variables
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
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)
The IC model of parallel computation and programming environment
ACM SIGCOMM Computer Communication Review
A programming model for the Mark III hypercube with multiple processor nodes
C3P Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues - Volume 1
A hundred impossibility proofs for distributed computing
Proceedings of the eighth annual ACM Symposium on Principles of distributed computing
Bounded concurrrent time-stamp systems are constructible
STOC '89 Proceedings of the twenty-first annual ACM symposium on Theory of computing
Decentralized mutual exclusion in the presence of link failures
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
To correct communicating finite state machines
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
IEEE Transactions on Software Engineering
Memory Access Dependencies in Shared-Memory Multiprocessors
IEEE Transactions on Software Engineering
On Criteria for Module Interfaces
IEEE Transactions on Software Engineering
Algorithms for scalable synchronization on shared-memory multiprocessors
ACM Transactions on Computer Systems (TOCS)
A simple and correct shared-queue algorithm using compare-and-swap
Proceedings of the 1990 ACM/IEEE conference on Supercomputing
A first-come-first-served mutual-exclusion algorithm with small communication variables
ACM Transactions on Programming Languages and Systems (TOPLAS)
Stability and stabilizability of discrete event dynamic systems
Journal of the ACM (JACM)
STOC '92 Proceedings of the twenty-fourth annual ACM symposium on Theory of computing
A correctness condition for high-performance multiprocessors (extended abstract)
STOC '92 Proceedings of the twenty-fourth annual ACM symposium on Theory of computing
Improving fast mutual exclusion
PODC '92 Proceedings of the eleventh annual ACM symposium on Principles of distributed computing
Proving probabilistic correctness statements: the case of Rabin's algorithm for mutual exclusion
PODC '92 Proceedings of the eleventh annual ACM symposium on Principles of distributed computing
Randomized mutual exclusion algorithms revisited
PODC '92 Proceedings of the eleventh annual ACM symposium on Principles of distributed computing
Implementation of classical mutual exclusion algorithms in Ada
ACM SIGAda Ada Letters
A Cost-Effective Combining Structure for Large-Scale Shared-Memory Multiprocessors
IEEE Transactions on Computers
An introduction to assertional reasoning for concurrent systems
ACM Computing Surveys (CSUR)
Fast, scalable synchronization with minimal hardware support
PODC '93 Proceedings of the twelfth annual ACM symposium on Principles of distributed computing
Adaptive solutions to the mutual exclusion problem
PODC '93 Proceedings of the twelfth annual ACM symposium on Principles of distributed computing
Lower bounds for randomized mutual exclusion
STOC '93 Proceedings of the twenty-fifth annual ACM symposium on Theory of computing
Closure and Convergence: A Foundation of Fault-Tolerant Computing
IEEE Transactions on Software Engineering - Special issue on software reliability
A bounded first-in, first-enabled solution to the l-exclusion problem
ACM Transactions on Programming Languages and Systems (TOPLAS)
Coordinating first-order multiparty interactions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Programming DEC-Alpha based multiprocessors the easy way (extended abstract)
SPAA '94 Proceedings of the sixth annual ACM symposium on Parallel algorithms and architectures
Time bounds for mutual exclusion and related problems
STOC '94 Proceedings of the twenty-sixth annual ACM symposium on Theory of computing
Time-adaptive algorithms for synchronization
STOC '94 Proceedings of the twenty-sixth annual ACM symposium on Theory of computing
Contention—free complexity of shared memory algorithms
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
Using k-exclusion to implement resilient, scalable shared objects (extended abstract)
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
The communication requirements of mutual exclusion
Proceedings of the seventh annual ACM symposium on Parallel algorithms and architectures
Computing with faulty shared objects
Journal of the ACM (JACM)
Process synchronization and IPC
ACM Computing Surveys (CSUR)
A discipline of multiprogramming
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Limitations of using tokens for mutual exclusion
CSC '95 Proceedings of the 1995 ACM 23rd annual conference on Computer science
VSPLUS: A high-level multi-user extension library for interactive VRML worlds
Proceedings of the third symposium on Virtual reality modeling language
The implementation of the Cilk-5 multithreaded language
PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
Thin locks: featherweight synchronization for Java
PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
Empirical studies of competitve spinning for a shared-memory multiprocessor
SOSP '91 Proceedings of the thirteenth ACM symposium on Operating systems principles
A simple local-spin group mutual exclusion algorithm
Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing
An efficient meta-lock for implementing ubiquitous synchronization
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Data Requirements for Implementation of N-Process Mutual Exclusion Using a Single Shared Variable
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
Simple and efficient bounded concurrent timestamping and the traceable use abstraction
Journal of the ACM (JACM)
Adaptive and efficient mutual exclusion (extended abstract)
Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing
Characteristics of scalability and their impact on performance
Proceedings of the 2nd international workshop on Software and performance
Third Generation Computer Systems
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR)
A Survey of Some Theoretical Aspects of Multiprocessing
ACM Computing Surveys (CSUR)
Structured Programming with go to Statements
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
Synchronization of communicating processes
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
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
An improved lower bound for the time complexity of mutual exclusion
Proceedings of the twentieth annual ACM symposium on Principles of distributed computing
A note on group mutual exclusion
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
ACM-SE 20 Proceedings of the 20th annual Southeast regional conference
Theoretical Computer Science
Bounded concurrent timestamp systems using vector clocks
Journal of the ACM (JACM)
A Simple Local-Spin Group Mutual Exclusion Algorithm
IEEE Transactions on Parallel and Distributed Systems
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
ACM SIGOPS Operating Systems Review
Lock reservation: Java locks can mostly do without atomic operations
OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A Simple, Object-Based View of Multiprogramming
Formal Methods in System Design
A space- and time-efficient local-spin spin lock
Information Processing Letters
Scheme: A Interpreter for Extended Lambda Calculus
Higher-Order and Symbolic Computation
A Resilient Mutual Exclusion Algorithm for Computer Networks
IEEE Transactions on Parallel and Distributed Systems
IEEE Transactions on Software Engineering
The IC* Model of Parallel Computation and Programming Environment
IEEE Transactions on Software Engineering
A Case Study on Using Automata in Control Synthesis
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Fair and Efficient Mutual Exclusion Algorithms (Extended Abstract)
Proceedings of the 13th International Symposium on Distributed Computing
Fast and Scalable Mutual Exclusion
Proceedings of the 13th International Symposium on Distributed Computing
Computing with Infinitely Many Processes
DISC '00 Proceedings of the 14th International Conference on Distributed Computing
Adaptive Mutual Exclusion with Local Spinning
DISC '00 Proceedings of the 14th International Conference on Distributed Computing
Semantics of Agent Communication: An Introduction
Selected papers from the UKMAS Workshop on Foundations and Applications of Multi-Agent Systems
Simple Mutual Exclusion Algorithms Based on Bounded Tickets on the Asynchronous Shared Memory Model
COCOON '02 Proceedings of the 8th Annual International Conference on Computing and Combinatorics
Improving Wait-Free Algorithms for Interprocess Communication in Embedded Real-Time Systems
ATEC '02 Proceedings of the General Track of the annual conference on USENIX Annual Technical Conference
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
Introducing Mutual Exclusion in Esterel
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Adaptive and efficient mutual exclusion
Distributed Computing
An example in synchronization of cooperating processes: theory and practice
ACM SIGOPS Operating Systems Review
A proposal for certain process management and intercommunication primitives
ACM SIGOPS Operating Systems Review
Modeling spin locks with queuing networks
ACM SIGOPS Operating Systems Review
Quorum-Based Algorithms for Group Mutual Exclusion
IEEE Transactions on Parallel and Distributed Systems
An improved lower bound for the time complexity of mutual exclusion
Distributed Computing - Special issue: Selected papers from PODC '01
Modelling the computer animation process for parallel environments
CA '95 Proceedings of the Computer Animation
HCW '99 Proceedings of the Eighth Heterogeneous Computing Workshop
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
On formulating simultaneity for studying parallelism and synchronization
STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing
The complexity of problems in systems of communicating sequential processes (Extended Abstract)
STOC '79 Proceedings of the eleventh 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
Towards the construction of verifiable software systems
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
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
Principles of computer system organization
SIGCSE '70 Proceedings of the first SIGCSE technical symposium on Education in computer science
Asynchronous interactions on shared data
ACM SIGOPS Operating Systems Review
A user-controlled synchronization method
ACM SIGOPS Operating Systems Review
Proceedings of the twenty-second annual symposium on Principles of distributed computing
Adaptive and efficient abortable mutual exclusion
Proceedings of the twenty-second annual symposium on Principles of distributed computing
On using network attached disks as shared memory
Proceedings of the twenty-second annual symposium on Principles of distributed computing
Principles of computer system organization
ACM SIGCSE Bulletin
Some myths about famous mutual exclusion algorithms
ACM SIGACT News
ACM SIGPLAN Notices
A unified treatment of deadlock
Journal of Computing Sciences in Colleges
A comparative analysis of fine-grain threads packages
Journal of Parallel and Distributed Computing
Shared-memory mutual exclusion: major research trends since 1986
Distributed Computing - Papers in celebration of the 20th anniversary of PODC
Hundreds of impossibility results for distributed computing
Distributed Computing - Papers in celebration of the 20th anniversary of PODC
A correctness criterion for CSP parallel programs
ACM SIGPLAN Notices
A survey of control structures in programming languages
ACM SIGPLAN Notices - Special issue on control structures in programming languages
Augmenting semantic web service descriptions with compositional specification
Proceedings of the 13th international conference on World Wide Web
Thin locks: featherweight Synchronization for Java
ACM SIGPLAN Notices - Best of PLDI 1979-1999
A pleasant stroll through the land of infinitely many creatures
ACM SIGACT News
Control functions for a multiprocessor architecture
ACM SIGOPS Operating Systems Review
A new fast-path mechanism for mutual exclusion
Distributed Computing
Mutual exclusion in asynchronous systems with failure detectors
Journal of Parallel and Distributed Computing
Communications of the ACM - Spyware
Using local-spin k-exclusion algorithms to improve wait-free object implementations
Distributed Computing
Distributed Computing
Adaptive solutions to the mutual exclusion problem
Distributed Computing
Naming symmetric processes using shared variables
Distributed Computing
Space-efficient FCFS group mutual exclusion
Information Processing Letters
Stabilizing mobile philosophers
Information Processing Letters
The impact of software engineering research on modern progamming languages
ACM Transactions on Software Engineering and Methodology (TOSEM)
A mutual exclusion algorithm with optimally bounded bypasses
Information Processing Letters
Improving locality with parallel hierarchical copying GC
Proceedings of the 5th international symposium on Memory management
An O(1) RMRs leader election algorithm
Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing
Bilateral Ranking Negotiations
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Multilateral Ranking Negotiations
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
Romanian Academy Calea Victoriei 125, Bucharest, Romania Locally Derivable Graphs
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
Structured programming with go to statements
Classics in software engineering
Efficient Mutual Exclusion in Peer-to-Peer Systems
GRID '05 Proceedings of the 6th IEEE/ACM International Workshop on Grid Computing
A priority-based distributed group mutual exclusion algorithm when group access is non-uniform
Journal of Parallel and Distributed Computing
Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing
Towards a Theory of Universal Speed-Independent Modules
IEEE Transactions on Computers
Elections in a Distributed Computing System
IEEE Transactions on Computers
IEEE Transactions on Computers
A Quorum-Based Group Mutual Exclusion Algorithm for a Distributed System with Dynamic Group Set
IEEE Transactions on Parallel and Distributed Systems
The crucial role of CS in systems and synthetic biology
Communications of the ACM - Web searching in a multilingual world
Record of the Project MAC conference on concurrent systems and parallel computation
Verification of a Hierarchical Generic Mutual Exclusion Algorithm
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Toward Efficient Support for Multithreaded MPI Communication
Proceedings of the 15th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface
The Weakest Failure Detector for Message Passing Set-Agreement
DISC '08 Proceedings of the 22nd international symposium on Distributed Computing
AFIPS '66 (Fall) Proceedings of the November 7-10, 1966, fall joint computer conference
Observations on high-performance machines
AFIPS '67 (Fall) Proceedings of the November 14-16, 1967, 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
Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
ACM SIGACT News
Implementing AUTOSAR scheduling and resource management on an embedded SMT processor
Proceedings of th 12th International Workshop on Software and Compilers for Embedded Systems
Adaptive mutual exclusion with local spinning
Distributed Computing
An efficient lock-aware transactional memory implementation
Proceedings of the 4th workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems
Randomized mutual exclusion in O(log N / log log N) RMRs
Proceedings of the 28th ACM symposium on Principles of distributed computing
Extracting quorum failure detectors
Proceedings of the 28th ACM symposium on Principles of distributed computing
A Comparison of Some Theoretical Models of Parallel Computation
IEEE Transactions on Computers
The design of a task parallel library
Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
Three-Valued Spotlight Abstractions
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Stabilizing mobile philosophers
Information Processing Letters
A mutual exclusion algorithm with optimally bounded bypasses
Information Processing Letters
Space-efficient FCFS group mutual exclusion
Information Processing Letters
Group mutual exclusion algorithms based on ticket orders
COCOON'03 Proceedings of the 9th annual international conference on Computing and combinatorics
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
Self-stabilizing atomicity refinement allowing neighborhood concurrency
SSS'03 Proceedings of the 6th international conference on Self-stabilizing systems
Model checking-based genetic programming with an application to mutual exclusion
TACAS'08/ETAPS'08 Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems
Lock elision for read-only critical sections in Java
PLDI '10 Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation
Contention-sensitive data structures and algorithms
DISC'09 Proceedings of the 23rd international conference on Distributed computing
On the existence of weakest failure detectors for mutual exclusion and k-exclusion
DISC'09 Proceedings of the 23rd international conference on Distributed computing
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
The k-bakery: local-spin k-exclusion using non-atomic reads and writes
Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Group mutual exclusion in O(log n) RMR
Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Adaptive randomized mutual exclusion in sub-logarithmic expected time
Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Constant RMR solutions to reader writer synchronization
Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Gadara: dynamic deadlock avoidance for multithreaded programs
OSDI'08 Proceedings of the 8th USENIX conference on Operating systems design and implementation
Reasoning about a distributed probabilistic system
CATS '09 Proceedings of the Fifteenth Australasian Symposium on Computing: The Australasian Theory - Volume 94
Highly-fair bakery algorithm using symmetric tokens
Information Processing Letters
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
Laws of order: expensive synchronization in concurrent algorithms cannot be eliminated
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Fast local-spin abortable mutual exclusion with bounded space
OPODIS'10 Proceedings of the 14th international conference on Principles of distributed systems
Nondominated local coteries for resource allocation in grids and clouds
Information Processing Letters
Specification and constant RMR algorithm for phase-fair reader-writer lock
ICDCN'11 Proceedings of the 12th international conference on Distributed computing and networking
On the performance of distributed lock-based synchronization
ICDCN'11 Proceedings of the 12th international conference on Distributed computing and networking
An $O(1)$ RMRs Leader Election Algorithm
SIAM Journal on Computing
Queue based mutual exclusion with linearly bounded overtaking
Science of Computer Programming
Proceedings of the twenty-third annual ACM symposium on Parallelism in algorithms and architectures
If a picture is worth a thousand words, what would an animation be worth?
Proceedings of the 16th Western Canadian Conference on Computing Education
A complexity separation between the cache-coherent and distributed shared memory models
Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing
On the performance of distributed lock-based synchronization?
ACM SIGOPS Operating Systems Review
NEW2AN'11/ruSMART'11 Proceedings of the 11th international conference and 4th international conference on Smart spaces and next generation wired/wireless networking
Tight space bounds for l-exclusion
DISC'11 Proceedings of the 25th international conference on Distributed computing
Adaptive encoding of multimedia streams on MPSoC
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part IV
Read/Write based fast-path transformation for FCFS mutual exclusion
SOFSEM'05 Proceedings of the 31st international conference on Theory and Practice of Computer Science
Self-stabilizing synchronization in mobile sensor networks with covering
DCOSS'10 Proceedings of the 6th IEEE international conference on Distributed Computing in Sensor Systems
Info-based approach in distributed mutual exclusion algorithms
Journal of Parallel and Distributed Computing
Tight time-space tradeoff for mutual exclusion
STOC '12 Proceedings of the forty-fourth annual ACM symposium on Theory of computing
A tight RMR lower bound for randomized mutual exclusion
STOC '12 Proceedings of the forty-fourth annual ACM symposium on Theory of computing
Analysis of the four-slot mechanism
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
An approach to software system behavior description
Computer Languages
Brief announcement: a tight RMR lower bound for randomized mutual exclusion
PODC '12 Proceedings of the 2012 ACM symposium on Principles of distributed computing
Romanian Academy Calea Victoriei 125, Bucharest, Romania Locally Derivable Graphs
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
Bilateral Ranking Negotiations
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Multilateral Ranking Negotiations
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
Integrating Distributed Algorithms into Distributed Systems
Fundamenta Informaticae
A new programming paradigm for GPGPU
Euro-Par'12 Proceedings of the 18th international conference on Parallel Processing
RMR-efficient randomized abortable mutual exclusion
DISC'12 Proceedings of the 26th international conference on Distributed Computing
Abortable reader-writer locks are no more complex than abortable mutex locks
DISC'12 Proceedings of the 26th international conference on Distributed Computing
A methodology for efficient use of OpenCL, ESL and FPGAs in multi-core architectures
Euro-Par'12 Proceedings of the 18th international conference on Parallel processing workshops
Science of Computer Programming
Simple, space-efficient, and fairness improved FCFS mutual exclusion algorithms
Journal of Parallel and Distributed Computing
Towards a universal construction for transaction-based multiprocess programs
Theoretical Computer Science
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
Nested block designs: Flexible and efficient schedule-based asynchronous duty cycling
Computer Networks: The International Journal of Computer and Telecommunications Networking
Computing with infinitely many processes
Information and Computation
Quorum-based mutual exclusion in asynchronous distributed systems with unreliable failure detectors
The Journal of Supercomputing
| Hi-index | 48.39 |