Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
Decidability of Fair Termination of Gossip Protocols
View through CrossRef
Gossip protocols deal with a group of communicating agents, each holding some private information, and aim at arriving at a situation in which all the agents know each other secrets. Distributed epistemic gossip protocols are particularly simple distributed programs that use as guards formulas from an epistemic logic. We showed recently that the implementability of these distributed gossip protocols and the problems of their partial correctness and termination are decidable, but the problem of decidability of their fair termination was left open. We study here rule-fair and agent-fair termination of these protocols and show that both properties are decidable.
Title: Decidability of Fair Termination of Gossip Protocols
Description:
Gossip protocols deal with a group of communicating agents, each holding some private information, and aim at arriving at a situation in which all the agents know each other secrets.
Distributed epistemic gossip protocols are particularly simple distributed programs that use as guards formulas from an epistemic logic.
We showed recently that the implementability of these distributed gossip protocols and the problems of their partial correctness and termination are decidable, but the problem of decidability of their fair termination was left open.
We study here rule-fair and agent-fair termination of these protocols and show that both properties are decidable.
Related Results
The Cooperative and Competitive Functions of Gossip
The Cooperative and Competitive Functions of Gossip
My first goal was to provide a clear definition of gossip to provide the first step toward a better understanding of gossip. I tackled the confusion about what gossip is by proposi...
An Integrative Definition and Framework to Study Gossip
An Integrative Definition and Framework to Study Gossip
The omnipresence of workplace gossip makes understanding gossip processes imperative to grasp social life in organizations. Although gossip research has recently experienced an ups...
Exploring Gossip: Women Character Dynamics in Tilik the Series
Exploring Gossip: Women Character Dynamics in Tilik the Series
This article discusses the gossip practices of Muslim women in the film Tilik the Series. This study focuses on Muslim women to explore how they are represented in the media, espec...
Optimizing IETF multimedia signaling protocols and architectures in 3GPP networks : an evolutionary approach
Optimizing IETF multimedia signaling protocols and architectures in 3GPP networks : an evolutionary approach
Signaling in Next Generation IP-based networks heavily relies in the family of multimedia signaling protocols defined by IETF. Two of these signaling protocols are RTSP and SIP, wh...
The moment of termination of corporate legal relations
The moment of termination of corporate legal relations
The long-term nature of corporate legal relations necessitates the theoretical selection of certain moments of their emergence, change and termination. The update of the corporate ...
Rho-dependent terminators and transcription termination
Rho-dependent terminators and transcription termination
Rho-dependent transcription terminators participate in sophisticated genetic regulatory mechanisms, in both bacteria and phages; they occur in regulatory regions preceding the codi...
Gossip and emotion in nursing and health‐care organizations
Gossip and emotion in nursing and health‐care organizations
PurposeThe purpose of this paper is to examine the relationship between gossip and emotion in health‐care organizations. It draws on findings from empirical research exploring the ...
International Real Estate Review
International Real Estate Review
Reverse mortgages generally have open maturity dates. The variability of the exact termination time of a mortgage is one of the most important risks faced by the lenders and mortga...