Keeping track of the latest gossip in a distributed system

DOI10.1007/S004460050031MaRDI QIDQ5137336zbMATH OpenOpenAlexFDO

Authors

Publication date 2 December 2020

Published in Distributed Computing (Search for Journal in Brave)

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

zbMATH Keywords

asynchronous automatabounded time-stampsdistributed algorithmssynchronous communication

Mathematics Subject Classification ID

Distributed systems (68M14) Formal languages and automata (68Q45) Distributed algorithms (68W15)

Recommendations

• scientific article; zbMATH DE number 2080226
• Bounded time-stamping in message-passing systems
• Robust gossiping with an application to consensus
• Odd gossiping
• Asynchronous gossip

Cites work

• A logical study of distributed transition systems
• A survey of gossiping and broadcasting in communication networks
• Asynchronous cellular automata for infinite traces
• Asynchronous mappings and asynchronous cellular automata
• Combinatorics on traces
• Determinizing asynchronous automata
• Determinizing Büchi asynchronous automata
• scientific article; zbMATH DE number 3902018 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1142314 (Why is no real title available?)
• scientific article; zbMATH DE number 4119618 (Why is no real title available?)
• Knowledge and common knowledge in a distributed environment
• Notes on finite asynchronous automata
• On the complementation of Büchi asynchronous cellular automata
• Simple and efficient bounded concurrent timestamping and the traceable use abstraction
• Some combinatorial aspects of time-stamp systems

Cited in

(17)

• Bounded time-stamping in message-passing systems
• Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic
• A model for learning the news in social networks
• Time-stamps for Mazurkiewicz traces.
• On Distributed Monitoring and Synthesis
• Automated synthesis of distributed controllers
• A quadratic construction for Zielonka automata with acyclic communication structure
• scientific article; zbMATH DE number 2080226 (Why is no real title available?)
• scientific article; zbMATH DE number 7559475 (Why is no real title available?)
• Asynchronous wreath product and cascade decompositions for concurrent behaviours
• Adding reconfiguration to Zielonka's asynchronous automata
• An expressively complete local past propositional dynamic logic over Mazurkiewicz traces and its applications
• On synthesis of distributed monitors (invited talk)
• Characterizations of fragments of temporal logic over Mazurkiewicz traces
• Synthesising asynchronous automata from fair specifications
• From trees to tree-like: distribution and synthesis for asynchronous automata
• Two phase gossip: Managing distributed event histories

This page was built for publication: Keeping track of the latest gossip in a distributed system

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