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...
Roddel en gerucht als vormen van communicatie
Roddel en gerucht als vormen van communicatie
Gossip and rumour as forms of communication - Gossip and rumour should be considered as two different things. Gossip is a kind of conversation about someone who is not present: he ...
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...
Content Analysis of Gossip at Different Levels of a Hospital
Content Analysis of Gossip at Different Levels of a Hospital
Abstract
Background:
Most societies have a negative attitude toward gossip and managers are concerned about the impact of...
Why and how targets’ negative workplace gossip exhort knowledge hiding? Shedding light on organizational justice
Why and how targets’ negative workplace gossip exhort knowledge hiding? Shedding light on organizational justice
Purpose
Extant scholars identified negative workplace gossip as a social stressor that negatively influences employees’ behavior and attitude. Despite the burgeoning interest in wo...
Intrinsic RNA hairpin-mediated transcription termination at high temperature in
Thermus aquaticus
Intrinsic RNA hairpin-mediated transcription termination at high temperature in
Thermus aquaticus
ABSTRACT
Transcription termination establishes gene boundaries and limits regulatory interference. In bacteria, intrinsic termination, mediated b...
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 ...