Distributed computation on graphs: shortest path algorithms
Communications of the ACM
Distributed algorithms for finding centers and medians in networks
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Computing Surveys (CSUR)
On the bit complexity of distributed computations in a ring with a leader
PODC '86 Proceedings of the fifth annual ACM symposium on Principles of distributed computing
Local distributed deadlock detection by knot detection
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
Deadlock detection in distributed databases
ACM Computing Surveys (CSUR)
Detecting stable properties of networks in concurrent logic programming languages
PODC '88 Proceedings of the seventh annual ACM Symposium on Principles of distributed computing
An Efficient Distributed Knot Detection Algorithm
IEEE Transactions on Software Engineering
Distributed Algorithms for Network Recognition Problems
IEEE Transactions on Computers
A distributed deadlock detection algorithm for CSP-like communication
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallel simulation of communicating finite state machines
PADS '93 Proceedings of the seventh workshop on Parallel and distributed simulation
Distributed deadlock detection in Ada run-time environments
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
A Distributed Graph Algorithm for the Detection of Local Cycles and Knots
IEEE Transactions on Parallel and Distributed Systems
Characterization of Deadlocks in k-ary n-Cube Networks
IEEE Transactions on Parallel and Distributed Systems
A Formal Model of Message Blocking and Deadlock Resolution in Interconnection Networks
IEEE Transactions on Parallel and Distributed Systems
Development of a Class of Distributed Termination Detection Algorithms
IEEE Transactions on Knowledge and Data Engineering
A Progressive Approach to Handling Message-Dependent Deadlock in Parallel Computer Systems
IEEE Transactions on Parallel and Distributed Systems
Distributed task and memory management
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Detecting termination of distributed computations using markers
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Resolving Distributed Deadlocks in the OR Request Model
SRDS '99 Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems
A Safe Algorithm for Resolving OR Deadlocks
IEEE Transactions on Software Engineering
Parallel simulation on the hypercube multiprocessor
Distributed Computing
Static Analysis of Concurrent Programs Using Ordinary Differential Equations
ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
A formal proof of a necessary and sufficient condition for deadlock-free adaptive networks
ITP'10 Proceedings of the First international conference on Interactive Theorem Proving
An optimal distributed algorithm for finding articulation points in a network
Computer Communications
| Hi-index | 0.00 |