Pages that link to "Item:Q5137336"
From MaRDI portal
The following pages link to Keeping track of the latest gossip in a distributed system (Q5137336):
Displaying 10 items.
- A quadratic construction for Zielonka automata with acyclic communication structure (Q407518) (← links)
- Two phase gossip: Managing distributed event histories (Q918658) (← links)
- Bounded time-stamping in message-passing systems (Q1853588) (← links)
- Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic (Q2208242) (← links)
- A model for learning the news in social networks (Q2254636) (← links)
- Time-stamps for Mazurkiewicz traces. (Q2490824) (← links)
- On Distributed Monitoring and Synthesis (Q3195680) (← links)
- Automated Synthesis of Distributed Controllers (Q3449462) (← links)
- (Q5089284) (← links)
- (Q5094152) (← links)