AI Chat AI Image Generator AI Video Text to Speech

Population Protocols: Beyond Runtime Analysis

08/30/2021
∙
by   Javier Esparza, et al.
∙
0
∙

I survey our recent work on the verification of population protocols and their state complexity.

READ FULL TEXT

page 1

page 2

page 3

page 4

Related Research

research
∙ 05/17/2023

Verification of Population Protocols with Unordered Data is undecidable

We consider the new extension of population protocols with unordered dat...
0 Roland Guttenberg, et al. ∙
research
∙ 09/30/2021

State Complexity of Counting Population Protocols With Leaders

Population protocols are a model of computation in which an arbitrary nu...
0 Jerome Leroux, et al. ∙
research
∙ 05/01/2023

Population Protocols with Unordered Data

Population protocols form a well-established model of computation of pas...
0 Michael Blondin, et al. ∙
research
∙ 09/20/2019

Multiprocessor Real-Time Locking Protocols: A Systematic Review

We systematically survey the literature on analytically sound multiproce...
0 Björn B. Brandenburg, et al. ∙
research
∙ 07/02/2023

On the Runtime of Chemical Reaction Networks Beyond Idealized Conditions

This paper studies the (discrete) chemical reaction network (CRN) comput...
0 Anne Condon, et al. ∙
research
∙ 03/07/2019

Local Reasoning for Parameterized First Order Protocols

First Order Logic (FOL) is a powerful reasoning tool for program verific...
0 Rylo Ashmore, et al. ∙
research
∙ 06/06/2021

Estimating the number of entities with vacancies using administrative and online data

In this article we describe a study aimed at estimating job vacancy stat...
0 Maciej Beręsewicz, et al. ∙

Please sign up or login with your details

Forgot password? Click here to reset

Out of credits

Refill your membership to continue using DeepAI

Stripe
Paypal