ACM Transactions on Programming Languages and Systems (TOPLAS)
Asynchronous distributed simulation via a sequence of parallel computations
Communications of the ACM - Special issue on simulation modeling and statistical computing
Communicating sequential processes
Communications of the ACM
On Diffusing Computations
An example of stepwise refinement of distributed programs: quiescence detection
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Deadlock detection in distributed databases
ACM Computing Surveys (CSUR)
A distributed deadlock detection algorithm for CSP-like communication
ACM Transactions on Programming Languages and Systems (TOPLAS)
Notes on termination of OCCAM processes
ACM SIGPLAN Notices
Paradigms for process interaction in distributed programs
ACM Computing Surveys (CSUR)
Finite state machine verification on MIMD machines
EURO-DAC '92 Proceedings of the conference on European design automation
An (N -1)-Resilient Algorithm for Distributed Termination Detection
IEEE Transactions on Parallel and Distributed Systems
Distributed snapshots: determining global states of distributed systems
ACM Transactions on Computer Systems (TOCS)
Distributed termination detection for dynamic systems
Parallel Computing
Distributed deadlock detection in Ada run-time environments
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
Distributed termination detection in a mobile wireless network
ACM-SE 36 Proceedings of the 36th annual Southeast regional conference
Distributed deadlock detection
ACM Transactions on Computer Systems (TOCS)
Termination Detection Protocols for Mobile Distributed Systems
IEEE Transactions on Parallel and Distributed Systems
Development of a Class of Distributed Termination Detection Algorithms
IEEE Transactions on Knowledge and Data Engineering
The VLDB Journal — The International Journal on Very Large Data Bases
A class of synchronization systems that permit the use of large atomic blocks
CASCON '98 Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative research
Detecting termination of distributed computations using markers
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
A Safe Algorithm for Resolving OR Deadlocks
IEEE Transactions on Software Engineering
Tiered Algorithm for Distributed Process Quiescence and Termination Detection
IEEE Transactions on Parallel and Distributed Systems
A new class of nature-inspired algorithms for self-adaptive peer-to-peer computing
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Distributed termination of concurrent processes in Occam
Computer Languages
Hi-index | 0.01 |