Cover Image

Verification of Population Protocols with Unordered Data

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	van Bergerem, Steffen, Guttenberg, Roland, Kiefer, Sandra, Mascle, Corto, Waldburger, Nicolas, Weil-Kennedy, Chana
Format:	Preprint
Published:	2024
Subjects:	Distributed, Parallel, and Cluster Computing Logic in Computer Science Multiagent Systems
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability
by: Guillou, Lucie, et al.
Published: (2023)

The Expressive Power of Uniform Population Protocols with Logarithmic Space
by: Czerner, Philipp, et al.
Published: (2024)

Communication Modalities
by: Kuznets, Roman
Published: (2024)

JustAct+: A Framework for Auditable Multi-Agent Systems Regulated by Inter-Organisational Policies
by: Esterhuyse, Christopher A., et al.
Published: (2025)

Interactive Safety Verification of Distributed Protocols by Inductive Proof Decomposition
by: Schultz, William, et al.
Published: (2024)

Monadic Presburger Predicates have Robust Population Protocols
by: Czerner, Philipp, et al.
Published: (2026)

Self-Correcting Gossip Protocols
by: Cignarale, Giorgio, et al.
Published: (2026)

Reusable Formal Verification of DAG-based Consensus Protocols
by: Bertrand, Nathalie, et al.
Published: (2024)

Complexity of Verification and Synthesis of Threshold Automata
by: Balasubramanian, A. R., et al.
Published: (2020)

Population Protocols over Ordered Agents
by: Blondin, Michael, et al.
Published: (2026)

The Black Ninjas and the Sniper: On Robustness of Population Protocols
by: Lossin, Benno, et al.
Published: (2024)

Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI
by: Shapiro, Ehud
Published: (2026)

GLP: A Grassroots, Multiagent, Concurrent, Logic Programming Language
by: Shapiro, Ehud
Published: (2025)

Temporal Hyperproperties for Population Protocols
by: Waldburger, Nicolas, et al.
Published: (2024)

Deterministic Distributed Algorithms and Measurable Combinatorics on $Δ$-Regular Forests
by: Brandt, Sebastian, et al.
Published: (2022)

Impure Simplicial Complexes: Complete Axiomatization
by: Randrianomentsoa, Rojo, et al.
Published: (2022)

Distributed Set-membership Filtering Frameworks For Multi-agent Systems With Absolute and Relative Measurements
by: Ding, Yu, et al.
Published: (2023)

Aegis: Taxonomy and Optimizations for Overcoming Agent-Environment Failures in LLM Agents
by: Song, Kevin, et al.
Published: (2025)

Agentic Fog: A Policy-driven Framework for Distributed Intelligence in Fog Computing
by: Akbar, Saeed, et al.
Published: (2026)

Ledger-State Stigmergy: A Formal Framework for Indirect Coordination Grounded in Distributed Ledger State
by: García, Fernando Paredes
Published: (2026)

When Computing follows Vehicles: Decentralized Mobility-Aware Resource Allocation for Edge-to-Cloud Continuum
by: Nezami, Zeinab, et al.
Published: (2024)

When Agents Control Robots: A Zero Trust Policy Model for Agentic Cyber-Physical Systems
by: Ranathunga, Tharindu, et al.
Published: (2026)

Software-Defined Agentic Serving
by: Agarwal, Saurabh, et al.
Published: (2026)

DejaVu: A Minimalistic Mechanism for Distributed Plurality Consensus
by: d'Amore, Francesco, et al.
Published: (2026)

Empowering Scientific Workflows with Federated Agents
by: Kamatar, Alok, et al.
Published: (2025)

On the Limits of Information Spread by Memory-less Agents
by: D'Archivio, Niccolò, et al.
Published: (2024)

Perpetual exploration in anonymous synchronous networks with a Byzantine black hole
by: Bhattacharya, Adri, et al.
Published: (2025)

Near-linear Time Dispersion of Mobile Agents
by: Sudo, Yuichi, et al.
Published: (2023)

Acceleration of Gossip Algorithms through the Euler-Poisson-Darboux Equation
by: Berthier, Raphaël, et al.
Published: (2022)

Nalar: An agent serving framework
by: Laju, Marco, et al.
Published: (2026)

On the $h$-majority dynamics with many opinions
by: d'Amore, Francesco, et al.
Published: (2025)

UFO3: Weaving the Digital Agent Galaxy
by: Zhang, Chaoyun, et al.
Published: (2025)

On a Voter Model with Context-Dependent Opinion Adoption
by: Becchetti, Luca, et al.
Published: (2023)

When Coordination Is Avoidable: A Monotonicity Analysis of Organizational Tasks
by: Ju, Harang
Published: (2026)

Cooperative Solutions to Exploration Tasks Under Speed and Budget Constraints
by: Karishma, et al.
Published: (2022)

Asymptotic analysis of cooperative censoring policies in sensor networks
by: Fernandez-Bes, Jesus, et al.
Published: (2025)

Distributed Butterfly Analysis using Mobile Agents
by: Chand, Prabhat Kumar, et al.
Published: (2025)

Agent-Based Triangle Counting: Unlocking Truss Decomposition, Triangle Centrality, and Local Clustering Coefficient
by: Chand, Prabhat Kumar, et al.
Published: (2024)

Computing Tree Structures in Anonymous Graphs via Mobile Agents
by: Chand, Prabhat Kumar, et al.
Published: (2025)

KVFlow: Efficient Prefix Caching for Accelerating LLM-Based Multi-Agent Workflows
by: Pan, Zaifeng, et al.
Published: (2025)