1. Computation in networks of passively mobile finite-state sensors;Angluin,2004
2. Computation in networks of passively mobile finite-state sensors;Angluin;Distrib. Comput.,2006
3. The computational power of population protocols;Angluin;Distrib. Comput.,2007
4. Verification of immediate observation population protocols;Esparza,2018
5. Fast computation by population protocols with a leader;Angluin,2006