Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
A new solution of Dijkstra's concurrent programming problem
Communications of the ACM
Further comments on Dijkstra's concurrent programming control problem
Communications of the ACM
Concurrent control with “readers” and “writers”
Communications of the ACM
The structure of the “THE”-multiprogramming system
Communications of the ACM
Additional comments on a problem in concurrent programming control
Communications of the ACM
Synchronizing processors with memory-content-generated interrupts
Communications of the ACM
Additional comments on a problem in concurrent programming control
Communications of the ACM
Solution of a problem in concurrent programming control
Communications of the ACM
The drinking philosophers problem
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Describing and analyzing distributed software system designs
ACM Transactions on Programming Languages and Systems (TOPLAS)
The information structure of distributed mutual exclusion algorithms
ACM Transactions on Computer Systems (TOCS)
CCAL: an interpreted language for experimentation in concurrent control
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
A robust algorithm for mutual exclusion in a computer network
ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
A tree-based algorithm for distributed mutual exclusion
ACM Transactions on Computer Systems (TOCS)
Reliability mechanisms for ADAMS
C3P Proceedings of the third conference on Hypercube concurrent computers and applications - Volume 2
A Heuristically-Aided Algorithm for Mutual Exclusion in Distributed Systems
IEEE Transactions on Computers
Efficient solution to the distributed mutual exclusion problem
Proceedings of the eighth annual ACM Symposium on Principles of distributed computing
An algorithm based on queue migration for mutual exclusion in computer networks
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
Decentralized mutual exclusion in the presence of link failures
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
Primitives for Distributed Computing in a Heterogeneous Local Area Network Environment
IEEE Transactions on Software Engineering
Distributed Checkpointing for Globally Consistent States of Databases
IEEE Transactions on Software Engineering
Resource management in large distributed systems
ACM SIGOPS Operating Systems Review
Paradigms for process interaction in distributed programs
ACM Computing Surveys (CSUR)
An efficient and fault-tolerant solution for distributed mutual exclusion
ACM Transactions on Computer Systems (TOCS)
Algorithms for scalable synchronization on shared-memory multiprocessors
ACM Transactions on Computer Systems (TOCS)
A simple taxonomy for distributed mutual exclusion algorithms
ACM SIGOPS Operating Systems Review
Automated Analysis of Concurrent Systems with the Constrained Expression Toolset
IEEE Transactions on Software Engineering
A new fault tolerant distributed mutual exclusion algorithm
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
About logical clocks for distributed systems
ACM SIGOPS Operating Systems Review
Elements for a course on the design of distributed algorithms
ACM SIGCSE Bulletin
Distributed algorithm for K-entries to critical section based on the directed graphs
ACM SIGOPS Operating Systems Review
On mutual exclusion in faulty distributed systems
ACM SIGOPS Operating Systems Review
A General Scheme for Token- and Tree-Based Distributed Mutual Exclusion Algorithms
IEEE Transactions on Parallel and Distributed Systems
On a Unified Framework for the Evaluation of Distributed Quorum Attainment Protocols
IEEE Transactions on Software Engineering
Parallelism in sequential multiprocessor simulation models: a case study
ACM Transactions on Modeling and Computer Simulation (TOMACS)
A distributed mutual exclusion algorithm
ACM Transactions on Computer Systems (TOCS)
A N algorithm for mutual exclusion in decentralized systems
ACM Transactions on Computer Systems (TOCS)
A Fault-Tolerant Algorithm for Replicated Data Management
IEEE Transactions on Parallel and Distributed Systems
Distributed dynamic channel allocation for mobile computing
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
Distributed mutual exclusion on hypercubes
ACM SIGOPS Operating Systems Review
Cohorts Structures for Fault-Tolerant k Entries to a Critical Section
IEEE Transactions on Computers
Analysis of Quorum-Based Protocols for Distributed (k + 1)-Exclusion
IEEE Transactions on Parallel and Distributed Systems
A fault-tolerant dynamic triangular mesh protocol for distributed mutual exclusion
ACM SIGOPS Operating Systems Review
Early projects using Ada at the United States Air Force Academy
ACM SIGAda Ada Letters
Distributed algorithms visualisation for educational purposes
ITiCSE '99 Proceedings of the 4th annual SIGCSE/SIGCUE ITiCSE conference on Innovation and technology in computer science education
A synchronization algorithm for distributed systems
CSC '91 Proceedings of the 19th annual conference on Computer Science
WSC' 90 Proceedings of the 22nd conference on Winter simulation
Mu3D: a causal consistency protocol for a collaborative VRML editor
VRML '00 Proceedings of the fifth symposium on Virtual reality modeling language (Web3D-VRML)
Token based solutions to M resources allocation problem
SAC '97 Proceedings of the 1997 ACM symposium on Applied computing
Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing
A Fair Distributed Mutual Exclusion Algorithm
IEEE Transactions on Parallel and Distributed Systems
Synchronization in Distributed Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
A new distributed mutual exclusion algorithm for two groups
Proceedings of the 2001 ACM symposium on Applied computing
Consistent modeling of distributed mutual exclusion protocol using optimistic simulation
Proceedings of the fifteenth workshop on Parallel and distributed simulation
Technical correspondence: on message passes in computer networks.
Communications of the ACM
technical correspondence: on message passes in computer networks. author's response
Communications of the ACM
A distributed mutual exclusion solution derived from real-life examples
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
A Delay-Optimal Quorum-Based Mutual Exclusion Algorithm for Distributed Systems
IEEE Transactions on Parallel and Distributed Systems
A quorum-based self-stabilizing distributed mutual exclusion algorithm
Journal of Parallel and Distributed Computing
IEEE Transactions on Computers
Logically Instantaneous Message Passing in Asynchronous Distributed Systems
IEEE Transactions on Computers
An Adaptive Checkpointing Scheme for Distributed Databases with Mixed Types of Transactions
IEEE Transactions on Knowledge and Data Engineering
An Efficient Algorithm for Mutual Exclusion Using Queue Migration in Computer Networks
IEEE Transactions on Knowledge and Data Engineering
A Resilient Mutual Exclusion Algorithm for Computer Networks
IEEE Transactions on Parallel and Distributed Systems
A Dynamic Information-Structure Mutual Exclusion Algorithm for Distributed Systems
IEEE Transactions on Parallel and Distributed Systems
On Distributed Dynamic Channel Allocation in Mobile Cellular Networks
IEEE Transactions on Parallel and Distributed Systems
Note: an efficient distributed token-based mutual exclusion algorithm with central coordinator
Journal of Parallel and Distributed Computing
Design and Implementation of an RPC-Based ARC Kernel
HPCN Europe 2001 Proceedings of the 9th International Conference on High-Performance Computing and Networking
Logically Instantaneous Communication on Top of Distributed Memory Parallel Machines
PaCT '999 Proceedings of the 5th International Conference on Parallel Computing Technologies
The Congenial Talking Philosophers Problem in Computer Networks (Extended Abstract)
Proceedings of the 13th International Symposium on Distributed Computing
Quorum-Based Algorithms for Group Mutual Exclusion
DISC '01 Proceedings of the 15th International Conference on Distributed Computing
Formal Verification of the Ricart-Agrawala Algorithm
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
FST TCS '01 Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science
An Associative Broadcast Based Coordination Model for Distributed Processes
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
A Mobile Agent Enabled Fully Distributed Mutual Exclusion Algorithm
MA '02 Proceedings of the 6th International Conference on Mobile Agents
Modelling and Model Checking a Distributed Shared Memory Consistency Protocol
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
The congenial talking philosophers problem in computer networks
Distributed Computing
Quorum-Based Algorithms for Group Mutual Exclusion
IEEE Transactions on Parallel and Distributed Systems
A survey of permission-based distributed mutual exclusion algorithms
Computer Standards & Interfaces
A Fair Fast Distributed Concurrent-Reader Exclusive-Writer Synchronization
FRONTIERS '96 Proceedings of the 6th Symposium on the Frontiers of Massively Parallel Computation
An IPC protocol and its hardware realization for a high-speed distributed multicomputer system
ISCA '81 Proceedings of the 8th annual symposium on Computer Architecture
On the distribution of an assertion
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
The Deadlock problem: a classifying bibliography
ACM SIGOPS Operating Systems Review
Parallel assignment to distinct identities in arbitrary networks
ICCCN '95 Proceedings of the 4th International Conference on Computer Communications and Networks
Unifying Stabilization and Termination in Message-Passing Systems
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Communications of the ACM
ACM SIGPLAN Notices
Virtual trees for the byzantine generals algorithm
Proceedings of the 35th SIGCSE technical symposium on Computer science education
Distributed mutual exclusion algorithms in mobile ad hoc networks: an overview
ACM SIGOPS Operating Systems Review
A Scalable Peer-to-Peer Architecture for Distributed Information Monitoring Applications
IEEE Transactions on Computers
Wireless Personal Communications: An International Journal
ITiCSE '05 Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education
Agent-Based Flow Control for HLA Components
Simulation
Coordination middleware for decentralized applications in dynamic networks
DSM '05 Proceedings of the 2nd international doctoral symposium on Middleware
Middleware for protocol-based coordination in dynamic networks
MPAC '05 Proceedings of the 3rd international workshop on Middleware for pervasive and ad-hoc computing
Exploiting predicate structure for efficient reachability detection
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
A Distributed Protocol for Dynamic Address Assignment in Mobile Ad Hoc Networks
IEEE Transactions on Mobile Computing
An Adaptive Quorum-Based Energy Conserving Protocol for IEEE 802.11 Ad Hoc Networks
IEEE Transactions on Mobile Computing
Unifying stabilization and termination in message-passing systems
Distributed Computing
Reachability Testing of Concurrent Programs
IEEE Transactions on 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
A new robust centralized DMX algorithm
PDCN'07 Proceedings of the 25th conference on Proceedings of the 25th IASTED International Multi-Conference: parallel and distributed computing and networks
A Quorum-Based Group Mutual Exclusion Algorithm for a Distributed System with Dynamic Group Set
IEEE Transactions on Parallel and Distributed Systems
A fault tolerant mutual exclusion algorithm for mobile ad hoc networks
Pervasive and Mobile Computing
Weakest precondition based verification tool that models spatial ordering
ACM SIGSOFT Software Engineering Notes
Ad-hoc co-located collaborative work with mobile devices
Proceedings of the 9th international conference on Human computer interaction with mobile devices and services
An algorithm for k-mutual exclusion in decentralized systems
Computer Communications
A Software Architecture for Shared Resource Management in Mobile Ad Hoc Networks
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
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
Monotonic Abstraction in Action
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
The Impact of Clustering on Token-Based Mutual Exclusion Algorithms
Euro-Par '08 Proceedings of the 14th international Euro-Par conference on Parallel Processing
A distributed mutual exclusion algorithm over multi-routing protocol for mobile ad hoc networks
International Journal of Parallel, Emergent and Distributed Systems
Building effective mutual exclusion services for grids
The Journal of Supercomputing
A Group k-Mutual Exclusion Algorithm for Mobile Ad Hoc Networks
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part II: Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living
A Token-Based Mutual Exclusion Approach to Improve Collaboration in Distributed Environments
ICCCI '09 Proceedings of the 1st International Conference on Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems
Algon: From Interchangeable Distributed Algorithms to Interchangeable Middleware
Electronic Notes in Theoretical Computer Science (ENTCS)
Token based algorithm for supporting mutual exclusion in opportunistic networks
MobiOpp '10 Proceedings of the Second International Workshop on Mobile Opportunistic Networking
Parameterized verification of infinite-state processes with global conditions
CAV'07 Proceedings of the 19th international conference on Computer aided verification
Electronic-oriented IP address auto-configuration protocol for MANET
ADHOC-NOW'07 Proceedings of the 6th international conference on Ad-hoc, mobile and wireless networks
Solving classic problems in distributed systems: the smart-message paradigm
ICDCN'08 Proceedings of the 9th international conference on Distributed computing and networking
Implementing fault-tolerant services using state machines: beyond replication
DISC'10 Proceedings of the 24th international conference on Distributed computing
A token-based distributed algorithm for the generalized resource allocation problem
OPODIS'10 Proceedings of the 14th international conference on Principles of distributed systems
On the performance of distributed lock-based synchronization
ICDCN'11 Proceedings of the 12th international conference on Distributed computing and networking
Logical classification of distributed algorithms (Bakery algorithms as an example)
Theoretical Computer Science
The space complexity of long-lived and one-shot timestamp implementations
Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing
ICCC'11 Proceedings of the 2011 international conference on Computers and computing
DMX in MANETs: major research trends since 2004
ACAI '11 Proceedings of the International Conference on Advances in Computing and Artificial Intelligence
On the performance of distributed lock-based synchronization?
ACM SIGOPS Operating Systems Review
ACM SIGSOFT Software Engineering Notes
QoS-enabled distributed mutual exclusion in public clouds
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems - Volume Part II
Winsim: a tool for performance evaluation of parallel and distributed systems
ADVIS'04 Proceedings of the Third international conference on Advances in Information Systems
Distributed priority inheritance for real-time and embedded systems
OPODIS'06 Proceedings of the 10th international conference on Principles of Distributed Systems
A group quorum system of degree 1+√1+n/m
ICDCN'06 Proceedings of the 8th international conference on Distributed Computing and Networking
Deadlock-Free distributed relaxed mutual-exclusion without revoke-messages
IWDC'05 Proceedings of the 7th international conference on Distributed Computing
Modelling the √N + ROWA model approach inside the WS-ReplicationResource
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
Performance of fair distributed mutual exclusion algorithms
IWDC'04 Proceedings of the 6th international conference on Distributed Computing
ICA3PP'05 Proceedings of the 6th international conference on Algorithms and Architectures for Parallel Processing
Fault tolerant and robust mutual exclusion protocol for synchronous distributed systems
ISCIS'05 Proceedings of the 20th international conference on Computer and Information Sciences
PDCAT'04 Proceedings of the 5th international conference on Parallel and Distributed Computing: applications and Technologies
Correct transformation: From object-based graph grammars to PROMELA
Science of Computer Programming
Monitoring stable properties in dynamic peer-to-peer distributed systems
FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science
A fault-tolerant token-based mutual exclusion algorithm using a dynamic tree
Euro-Par'05 Proceedings of the 11th international Euro-Par conference on Parallel Processing
Plausible clocks with bounded inaccuracy
DISC'05 Proceedings of the 19th international conference on Distributed Computing
Modified raymond's algorithm for priority (MRA-P) based mutual exclusion in distributed systems
ICDCIT'06 Proceedings of the Third international conference on Distributed Computing and Internet Technology
Info-based approach in distributed mutual exclusion algorithms
Journal of Parallel and Distributed Computing
A distributed synchronization mechanism for interacting processes
Computer Languages
Research: Communication support for cooperative work
Computer Communications
Research: Cooperative multimedia editing tool for enhanced group communication
Computer Communications
Efficient distributed channel allocation for cellular networks
Computer Communications
A comparison of two mutual-exclusion algorithms for computer networks
Journal of Systems and Software
Service Level Agreement for Distributed Mutual Exclusion in Cloud Computing
CCGRID '12 Proceedings of the 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012)
A gossip-based mutual exclusion algorithm for cloud environments
GPC'12 Proceedings of the 7th international conference on Advances in Grid and Pervasive Computing
A token based distributed algorithm for supporting mutual exclusion in opportunistic networks
Pervasive and Mobile Computing
From clarity to efficiency for distributed algorithms
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Exclusive Access to Resources in Distributed Shared Memory Architecture
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
A mutual exclusion algorithm for mobile agents-based applications
ISPA'07 Proceedings of the 5th international conference on Parallel and Distributed Processing and Applications
ISPA'07 Proceedings of the 5th international conference on Parallel and Distributed Processing and Applications
A regular group quorum system of degree ⌈√n/2⌉
ICA3PP'12 Proceedings of the 12th international conference on Algorithms and Architectures for Parallel Processing - Volume Part II
Oblivious assignment with m slots
SSS'12 Proceedings of the 14th international conference on Stabilization, Safety, and Security of Distributed Systems
A New Link Failure Resilient Priority Based Fair Mutual Exclusion Algorithm for Distributed Systems
Journal of Network and Systems Management
ACM Transactions on Embedded Computing Systems (TECS) - Special Section ESFH'12, ESTIMedia'11 and Regular Papers
The Space Complexity of Long-Lived and One-Shot Timestamp Implementations
Journal of the ACM (JACM)
Hi-index | 48.28 |