Cover Image

The Black Ninjas and the Sniper: On Robustness of Population Protocols

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Lossin, Benno, Czerner, Philipp, Esparza, Javier, Guttenberg, Roland, Prehn, Tobias
Format:	Preprint
Published:	2024
Subjects:	Formal Languages and Automata Theory Distributed, Parallel, and Cluster Computing
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Verifying Randomized Consensus Protocols with Common Coins
by: Gao, Song, et al.
Published: (2024)

Implementability of Global Distributed Protocols modulo Network Architectures
by: Li, Elaine, et al.
Published: (2026)

Logical Synchrony Networks: A formal model for deterministic distribution
by: Kenwright, Logan, et al.
Published: (2024)

State machines for large scale computer software and systems
by: Yodaiken, Victor
Published: (2016)

A Forward Simulation-Based Hierarchy of Linearizable Concurrent Objects
by: Wang, Chao, et al.
Published: (2026)

2-Coloring Cycles in One Round
by: Flin, Maxime, et al.
Published: (2026)

Synchronizability of Communicating Finite State Machines is not Decidable
by: Finkel, Alain, et al.
Published: (2017)

Computing Inductive Invariants of Regular Abstraction Frameworks
by: Czerner, Philipp, et al.
Published: (2024)

Complete Multiparty Session Type Projection with Automata
by: Li, Elaine, et al.
Published: (2023)

Classification of Local Optimization Problems in Directed Cycles
by: Boudier, Thomas, et al.
Published: (2026)

Smart Casual Verification of the Confidential Consortium Framework
by: Howard, Heidi, et al.
Published: (2024)

On defining and modeling context-awareness
by: Rodis, Panteleimon
Published: (2026)

Decidability Issues for Petri Nets -- a survey
by: Esparza, Javier, et al.
Published: (2024)

HistMSO: A Logic for Reasoning about Consistency Models with MONA
by: Coget, Isabelle, et al.
Published: (2026)

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

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

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

Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions
by: Ghasemirad, Shabnam, et al.
Published: (2024)

Deciding Serializability in Network Systems
by: Amir, Guy, et al.
Published: (2026)

Promoting Simple Agents: Ensemble Methods for Event-Log Prediction
by: Bollig, Benedikt, et al.
Published: (2026)

Undecidability of the Emptiness Problem for Weak Models of Distributed Computing
by: Principato, Flavio T., et al.
Published: (2025)

Mixed Choice in Asynchronous Multiparty Session Types
by: Bocchi, Laura, et al.
Published: (2026)

Types for Grassroots Logic Programs
by: Shapiro, Ehud
Published: (2026)

LLM-based policy generation for intent-based management of applications
by: Dzeparoska, Kristina, et al.
Published: (2024)

Flattability of Priority Vector Addition Systems
by: Guttenberg, Roland
Published: (2024)

Breaking through the $Ω(n)$-space barrier: Population Protocols Decide Double-exponential Thresholds
by: Czerner, Philipp
Published: (2022)

Black-box Testing Liveness Properties of Partially Observable Stochastic Systems
by: Esparza, Javier, et al.
Published: (2023)

Reachability in VASS Extended with Integer Counters
by: Bizière, Clotilde, et al.
Published: (2026)

PVASS Reachability is Decidable
by: Guttenberg, Roland, et al.
Published: (2025)

Reachability and Related Problems in Vector Addition Systems with Nested Zero Tests
by: Guttenberg, Roland, et al.
Published: (2025)

Practical Livelock Analysis in Parameterized Unidirectional Rings
by: Farahat, Aly
Published: (2026)

Separators in Continuous Petri Nets
by: Blondin, Michael, et al.
Published: (2022)

Exploring VASS Parameterised by Geometric Dimension
by: Czerwiński, Wojciech, et al.
Published: (2026)

On the Separability Problem of VASS Reachability Languages
by: Keskin, Eren, et al.
Published: (2024)

Learning EFSM Models with Registers in Guards
by: Vega, Germán, et al.
Published: (2024)

Interpreted Higher-Dimensional Automata for Concurrent Discrete-Event Control
by: Bellier, Dylan, et al.
Published: (2026)

Active Inference of Extended Finite State Machine Models with Registers and Guards
by: Groz, Roland, et al.
Published: (2026)

Separability and Non-Determinizability of WSTS
by: Czerwiński, Wojciech, et al.
Published: (2023)

Characterizing Implementability of Global Protocols with Infinite States and Data
by: Li, Elaine, et al.
Published: (2024)