Grassroots Distributed Systems: Preliminaries: Asynchronous Distributed Multiagent Transition System

Table of Links

• Abstract and Introduction
• Grassroots Protocols
• Grassroots Implementation of Grassroots Dissemination
• Applications of Grassroots Dissemination Supporting Digital Sovereignty
• Future Work & Discussion
• References
• A. Preliminaries: Asynchronous Distributed Multiagent Transition Systems
• B. All-to-All Dissemination is not Grassroots
• C. Proofs

A Preliminaries: Asynchronous Distributed Multiagent Transition Systems

Here we introduce definitions and results regarding asynchronous distributed multiagent transition systems [24], needed for the definition and proofs of grassroots protocols. The original reference introduces them in four stages: transition systems; multiagent; distributed; asynchronous, and in addition to proofs it includes examples illustrating the various concepts. Here, we introduce distributed multiagent transition systems at once and simplify other notions by adhering to this special case.

Assume a set Π of agents, each equipped with a single and unique key-pair, and identify an agent p ∈ Π by its public key. While the set of all agents Π could in principle be infinite (think of all the agents that are yet to be born), when we refer to a particular set of agents P ⊆ Π we assume P to be finite.