3 papers
cs.DS2021
ppsim: A software package for efficiently simulating and visualizing population protocols
David Doty, Eric Severson
We introduce ppsim, a software package for efficiently simulating population protocols, a widely-studied subclass of chemical reaction networks (CRNs) in which all reactions have t…
cs.DC2020
A stable majority population protocol using logarithmic time and states
David Doty, Mahsa Eftekhari, Eric Severson
We study population protocols, a model of distributed computing appropriate for modeling well-mixed chemical reaction networks and other physical systems where agents exchange info…
cs.DC2019
Composable computation in discrete chemical reaction networks
Eric E. Severson, David Haley, David Doty
We study the composability of discrete chemical reaction networks (CRNs) that stably compute (i.e., with probability 0 of error) integer-valued functions $f:\mathbb{N}^d\to\mathbb{…