Distributed termination on a ring

DOI10.1007/BF01933744zbMath0594.68023OpenAlexW1975550766MaRDI QIDQ1077154

Heikki Saikkonen, Stefan Rönn

Publication date: 1986

Published in: BIT (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01933744

zbMATH Keywords

distributed computationprocesses communicating via shared variablesring of processestermination detection problem

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Cites Work

• An assertional correctness proof of a distributed algorithm
• Termination detection for diffusing computations
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Distributed termination on a ring