Bookmark Saya

arXiv Open Access 2021

Population Protocols: Beyond Runtime Analysis

Javier Esparza
Lihat Sumber

Abstrak

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

Topik & Kata Kunci

cs.DC

Penulis (1)

J

Javier Esparza

Format Sitasi

APA MLA BibTeX
Esparza, J. (2021). Population Protocols: Beyond Runtime Analysis. https://arxiv.org/abs/2108.13449

Akses Cepat

Lihat di Sumber
Informasi Jurnal
Tahun Terbit
2021
Bahasa
en
Sumber Database
arXiv
Akses
Open Access ✓