Distributed Termination

DOI10.1145/357084.357087MaRDI QIDQ3922146zbMATH OpenOpenAlexFDO

Authors Nissim Francez

Publication date 1980

Published in ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/357084.357087

zbMATH Keywords

communicationconcurrent programsdisjoint memoriesdistributed processesinput-output

Mathematics Subject Classification ID

Theory of operating systems (68N25) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(21)

• Safe termination detection in an asynchronous distributed system when processes may crash and recover
• A fully distributed (minimal) spanning tree algorithm
• On the existence of symmetric algorithms to find leaders in networks of communicating sequential processes
• Two normal form theorems for CSP programs
• A distributed algorithm for distributed termination
• A fully distributed termination detection scheme
• A proof technique for communicating sequential processes
• A class of systems with nearly zero distributed simulation overhead
• Concurrent common knowledge: Defining agreement for asynchronous systems
• A principle for sequential reasoning about distributed algorithms
• Repeated snapshots in distributed systems with synchronous communications and their implementation in CSP
• Prime numbers as a tool to design distributed algorithms
• A distributed solution of the distributed termination problem
• A family of optimal termination detection algorithms
• Simulating asynchronous hardware on multiprocessor platforms: The case of AMULET1
• A fast distributed deadlock- detection algorithm for hypercube
• On termination detection in crash-prone distributed systems with failure detectors
• The inhibition spectrum and the achievement of causal consistency
• Reducing the number of messages in self-stabilizing protocols
• Silent anonymous snap-stabilizing termination detection
• Tony Hoare: his path to the ACM Turing Award

This page was built for publication: Distributed Termination

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3922146)