@article(First-Pop-Prot,
 author       = {Dana Angluin and James Aspnes and Zo{\"{e}} Diamadi and Michael J. Fischer and Ren{\'{e}} Peralta},
 year         = {2006},
 title        = {Computation in networks of passively mobile finite-state sensors},
 journal      = {Distributed Comput.},
 volume       = {18},
 number       = {4},
 pages        = {235--253},
 url          = {https://doi.org/10.1007/s00446-005-0138-3},
)
@article(Comp-Power-Pop-Prot,
 author       = {Dana Angluin and James Aspnes and David Eisenstat and Eric Ruppert},
 year         = {2007},
 title        = {The computational power of population protocols},
 journal      = {Distributed Comput.},
 volume       = {20},
 number       = {4},
 pages        = {279--304},
 url          = {https://doi.org/10.1007/s00446-007-0040-2},
)
@misc(LongVersion,
 author       = {A. R. Balasubramanian and Weil-Kennedy, Chana},
 year         = {2021},
 title        = {Reconfigurable Broadcast Networks and Asynchronous Shared-Memory Systems are Equivalent (Long Version)},
 url          = {https://arxiv.org/abs/2108.07510},
)
@inproceedings(probtime,
 author       = {Nathalie Bertrand and Paulin Fournier},
 year         = {2013},
 title        = {Parameterized Verification of Many Identical Probabilistic Timed Processes},
 booktitle    = {{IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS}},
 pages        = {501--513},
 doi          = {10.4230/LIPIcs.FSTTCS.2013.501},
)
@inproceedings(prob,
 author       = {Nathalie Bertrand and Paulin Fournier and Arnaud Sangnier},
 year         = {2014},
 title        = {Playing with Probabilities in Reconfigurable Broadcast Networks},
 booktitle    = {Foundations of Software Science and Computation Structures - 17th International Conference, {FOSSACS}},
 pages        = {134--148},
 doi          = {10.1007/978-3-642-54830-7\_9},
)
@inproceedings(ICALPPatricia,
 author       = {Patricia Bouyer and Nicolas Markey and Mickael Randour and Arnaud Sangnier and Daniel Stan},
 year         = {2016},
 title        = {Reachability in Networks of Register Protocols under Stochastic Schedulers},
 editor       = {Ioannis Chatzigiannakis and Michael Mitzenmacher and Yuval Rabani and Davide Sangiorgi},
 booktitle    = {43rd International Colloquium on Automata, Languages, and Programming, {ICALP} 2016, July 11-15, 2016, Rome, Italy},
 series       = {LIPIcs},
 volume       = {55},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
 pages        = {106:1--106:14},
 url          = {https://doi.org/10.4230/LIPIcs.ICALP.2016.106},
)
@inproceedings(ParamLiveness,
 author       = {Peter Chini and Roland Meyer and Prakash Saivasan},
 year         = {2019},
 title        = {Complexity of Liveness in Parameterized Systems},
 editor       = {Arkadev Chattopadhyay and Paul Gastin},
 booktitle    = {39th {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2019, December 11-13, 2019, Bombay, India},
 series       = {LIPIcs},
 volume       = {150},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
 pages        = {37:1--37:15},
 url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2019.37},
)
@inproceedings(Liveness,
 author       = {Peter Chini and Roland Meyer and Prakash Saivasan},
 year         = {2019},
 title        = {Liveness in Broadcast Networks},
 editor       = {Mohamed Faouzi Atig and Alexander A. Schwarzmann},
 booktitle    = {Networked Systems - 7th International Conference, {NETYS} 2019, Marrakech, Morocco, June 19-21, 2019, Revised Selected Papers},
 series       = {Lecture Notes in Computer Science},
 volume       = {11704},
 publisher    = {Springer},
 pages        = {52--66},
 url          = {https://doi.org/10.1007/978-3-030-31277-0\_4},
)
@article(FineGrained,
 author       = {Peter Chini and Roland Meyer and Prakash Saivasan},
 year         = {2020},
 title        = {Fine-Grained Complexity of Safety Verification},
 journal      = {J. Autom. Reason.},
 volume       = {64},
 number       = {7},
 pages        = {1419--1444},
 url          = {https://doi.org/10.1007/s10817-020-09572-x},
)
@inproceedings(register,
 author       = {Giorgio Delzanno and Arnaud Sangnier and Riccardo Traverso},
 year         = {2013},
 title        = {Parameterized Verification of Broadcast Networks of Register Automata},
 booktitle    = {Reachability Problems - 7th International Workshop, {RP}},
 pages        = {109--121},
 doi          = {10.1007/978-3-642-41036-9\_11},
)
@inproceedings(FSTTCS12,
 author       = {Giorgio Delzanno and Arnaud Sangnier and Riccardo Traverso and Gianluigi Zavattaro},
 year         = {2012},
 title        = {On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks},
 editor       = {Deepak D'Souza and Telikepalli Kavitha and Jaikumar Radhakrishnan},
 booktitle    = {{IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2012, December 15-17, 2012, Hyderabad, India},
 series       = {LIPIcs},
 volume       = {18},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
 pages        = {289--300},
 url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2012.289},
)
@inproceedings(AdHocNetworks,
 author       = {Giorgio Delzanno and Arnaud Sangnier and Gianluigi Zavattaro},
 year         = {2010},
 title        = {Parameterized Verification of Ad Hoc Networks},
 editor       = {Paul Gastin and Fran{\c{c}}ois Laroussinie},
 booktitle    = {{CONCUR} 2010 - Concurrency Theory, 21th International Conference, {CONCUR} 2010, Paris, France, August 31-September 3, 2010. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {6269},
 publisher    = {Springer},
 pages        = {313--327},
 url          = {https://doi.org/10.1007/978-3-642-15375-4\_22},
)
@article(ModelCheckingSMS,
 author       = {Durand{-}Gasselin, Antoine and Javier Esparza and Pierre Ganty and Rupak Majumdar},
 year         = {2017},
 title        = {Model checking parameterized asynchronous shared-memory systems},
 journal      = {Formal Methods Syst. Des.},
 volume       = {50},
 number       = {2-3},
 pages        = {140--167},
 url          = {https://doi.org/10.1007/s10703-016-0258-3},
)
@article(JACM16,
 author       = {Javier Esparza and Pierre Ganty and Rupak Majumdar},
 year         = {2016},
 title        = {Parameterized Verification of Asynchronous Shared-Memory Systems},
 journal      = {J. {ACM}},
 volume       = {63},
 number       = {1},
 pages        = {10:1--10:48},
 url          = {https://doi.org/10.1145/2842603},
)
@inproceedings(EsparzaGMW18,
 author       = {Javier Esparza and Pierre Ganty and Rupak Majumdar and Weil{-}Kennedy, Chana},
 year         = {2018},
 title        = {Verification of Immediate Observation Population Protocols},
 booktitle    = {{CONCUR}},
 series       = {LIPIcs},
 volume       = {118},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
 pages        = {31:1--31:16},
 url          = {https://doi.org/10.4230/LIPIcs.CONCUR.2018.31},
)
@inproceedings(conf/apn/EsparzaRW19,
 author       = {Javier Esparza and Mikhail Raskin and Weil-Kennedy, Chana},
 year         = {2019},
 title        = {Parameterized Analysis of Immediate Observation Petri Nets.},
 booktitle    = {Lecture Notes in Computer Science},
 volume       = {11522},
 pages        = {365--385},
 url          = {https://doi.org/10.1007/978-3-030-21571-2\_20},
)
@inproceedings(EsparzaRW19,
 author       = {Javier Esparza and Mikhail A. Raskin and Weil{-}Kennedy, Chana},
 year         = {2019},
 title        = {Parameterized Analysis of Immediate Observation Petri Nets},
 editor       = {Susanna Donatelli and Stefan Haar},
 booktitle    = {Application and Theory of Petri Nets and Concurrency - 40th International Conference, {PETRI} {NETS} 2019, Aachen, Germany, June 23-28, 2019, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {11522},
 publisher    = {Springer},
 pages        = {365--385},
 url          = {https://doi.org/10.1007/978-3-030-21571-2\_20},
)
@inproceedings(ModelCheckingPushdown,
 author       = {Marie Fortin and Anca Muscholl and Igor Walukiewicz},
 year         = {2017},
 title        = {Model-Checking Linear-Time Properties of Parametrized Asynchronous Shared-Memory Pushdown Systems},
 editor       = {Rupak Majumdar and Viktor Kuncak},
 booktitle    = {Computer Aided Verification - 29th International Conference, {CAV} 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {II}},
 series       = {Lecture Notes in Computer Science},
 volume       = {10427},
 publisher    = {Springer},
 pages        = {155--175},
 url          = {https://doi.org/10.1007/978-3-319-63390-9\_9},
)
@phdthesis(Thesis,
 author       = {Paulin Fournier},
 year         = {2015},
 title        = {Parameterized verification of networks of many identical processes. (V{\'{e}}rification param{\'{e}}tr{\'{e}}e de r{\'{e}}seaux compos{\'{e}}s d'une multitude de processus identiques)},
 school       = {University of Rennes 1, France},
 url          = {https://tel.archives-ouvertes.fr/tel-01355847},
)
@inproceedings(SafetyAlmostAlways,
 author       = {{La Torre}, Salvatore and Anca Muscholl and Igor Walukiewicz},
 year         = {2015},
 title        = {Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable},
 editor       = {Luca Aceto and David de Frutos{-}Escrig},
 booktitle    = {26th International Conference on Concurrency Theory, {CONCUR} 2015, Madrid, Spain, September 1.4, 2015},
 series       = {LIPIcs},
 volume       = {42},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
 pages        = {72--84},
 url          = {https://doi.org/10.4230/LIPIcs.CONCUR.2015.72},
)