Concurrent Processes and Their Syntax
Journal of the ACM (JACM)
Communicating sequential processes
Communications of the ACM
Distributed processes: a concurrent programming concept
Communications of the ACM
The architecture of concurrent programs
The architecture of concurrent programs
Modeling the distributed termination convention of CSP
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
An example of stepwise refinement of distributed programs: quiescence detection
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Correctness proofs of distributed termination algorithms
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Detecting global termination conditions in the face of uncertainty
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Detection of stable properties in distributed applications
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Deadlock detection in distributed databases
ACM Computing Surveys (CSUR)
A protocol to maintain a minimum spanning tree in a dynamic topology
SIGCOMM '88 Symposium proceedings on Communications architectures and protocols
A compositional approach to superimposition
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A distributed deadlock detection algorithm for CSP-like communication
ACM Transactions on Programming Languages and Systems (TOPLAS)
The inhibition spectrum and the achievement of causal consistency
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
The Evolving Philosophers Problem: Dynamic Change Management
IEEE Transactions on Software Engineering
A new paradigm for parallel and distributed rule-processing
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Notes on termination of OCCAM processes
ACM SIGPLAN Notices
Paradigms for process interaction in distributed programs
ACM Computing Surveys (CSUR)
Fine-grain parallelism in the ALPS programming language
Proceedings of the 1990 ACM/IEEE conference on Supercomputing
Incremental evaluation of rules and its relationship to parallelism
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
The derivation of distributed termination detection algorithms from garbage collection schemes
ACM Transactions on Programming Languages and Systems (TOPLAS)
A superimposition control construct for distributed systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Finite termination of asynchronous iterative algorithms
Parallel Computing
Efficient Termination Detection for Loosely Synchronous Applications in Multicomputers
IEEE Transactions on Parallel and Distributed Systems
Distributed termination detection for dynamic systems
Parallel Computing
Distributed termination detection in a mobile wireless network
ACM-SE 36 Proceedings of the 36th annual Southeast regional conference
An overview of the GCP programming language
Proceedings of the 1985 ACM SIGSMALL symposium on Small systems
What future for the distributed systems annex?
Proceedings of the 1999 annual ACM SIGAda international conference on Ada
Terminating iterative solution of simultaneous equations in distributed message passing systems
Proceedings of the fourth annual ACM symposium on Principles of distributed computing
A Proof System for Communicating Sequential Processes
ACM Transactions on Programming Languages and Systems (TOPLAS)
Technical Correspondence: On Francez's ``Distributed Termination''
ACM Transactions on Programming Languages and Systems (TOPLAS)
Termination Detection of Diffusing Computations in Communicating Sequential Processes
ACM Transactions on Programming Languages and Systems (TOPLAS)
Extended naming conventions for communicating processes
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Development of a Class of Distributed Termination Detection Algorithms
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Parallel and Distributed Systems
Systems with Low Distributed Simulation Overhead
IEEE Transactions on Parallel and Distributed Systems
Issues in the Refinement of Distributed Programs
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Dynamic systems and their distributed termination
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Synthesis of communicating processes
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Decentralization of process nets with centralized control
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
A Termination Detection Protocol for Use in Mobile Ad Hoc Networks
Automated Software Engineering
A Decentralized Convergence Detection Algorithm for Asynchronous Parallel Iterative Algorithms
IEEE Transactions on Parallel and Distributed Systems
Concurrent common knowledge: defining agreement for asynchronous systems
Distributed Computing
The inhibition spectrum and the achievement of causal consistency
Distributed Computing
Pursuing scalability for hypre's conceptual interfaces
ACM Transactions on Mathematical Software (TOMS) - Special issue on the Advanced CompuTational Software (ACTS) Collection
On termination detection in crash-prone distributed systems with failure detectors
Journal of Parallel and Distributed Computing
Theoretical Computer Science
AM++: a generalized active message framework
Proceedings of the 19th international conference on Parallel architectures and compilation techniques
OPODIS'06 Proceedings of the 10th international conference on Principles of Distributed Systems
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
Toward a definition of and linguistic support for partial quiescence
Euro-Par'06 Proceedings of the 12th international conference on Parallel Processing
Efficient reduction for wait-free termination detection in a crash-prone distributed system
DISC'05 Proceedings of the 19th international conference on Distributed Computing
Work stealing and persistence-based load balancers for iterative overdecomposed applications
Proceedings of the 21st international symposium on High-Performance Parallel and Distributed Computing
On detecting termination in the crash-recovery model
Euro-Par'07 Proceedings of the 13th international Euro-Par conference on Parallel Processing
| Hi-index | 0.00 |
Discussed is a distributed system based on communication among disjoint processes, where each process is capable of achieving a post-condition of its local space in such a way that the conjunction of local post-conditions implies a global post-condition of the whole system. The system is then augmented with extra control communication in order to achieve distributed termination, without adding new channels of communication. The algorithm is applied to a problem of constructing a sorted partition.