Published in: LIPIcs, Volume 174, 26th International Conference on DNA Computing and Molecular Programming (DNA 26) (2020)
James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Hugh D. Potter, and Matthew R. Riley. Population-Induced Phase Transitions and the Verification of Chemical Reaction Networks. In 26th International Conference on DNA Computing and Molecular Programming (DNA 26). Leibniz International Proceedings in Informatics (LIPIcs), Volume 174, pp. 5:1-5:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{lathrop_et_al:LIPIcs.DNA.2020.5, author = {Lathrop, James I. and Lutz, Jack H. and Lutz, Robyn R. and Potter, Hugh D. and Riley, Matthew R.}, title = {{Population-Induced Phase Transitions and the Verification of Chemical Reaction Networks}}, booktitle = {26th International Conference on DNA Computing and Molecular Programming (DNA 26)}, pages = {5:1--5:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-163-4}, ISSN = {1868-8969}, year = {2020}, volume = {174}, editor = {Geary, Cody and Patitz, Matthew J.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DNA.2020.5}, URN = {urn:nbn:de:0030-drops-129583}, doi = {10.4230/LIPIcs.DNA.2020.5}, annote = {Keywords: chemical reaction networks, molecular programming, phase transitions, population protocols, verification} }
Published in: LIPIcs, Volume 174, 26th International Conference on DNA Computing and Molecular Programming (DNA 26) (2020)
Titus H. Klinge, James I. Lathrop, Sonia Moreno, Hugh D. Potter, Narun K. Raman, and Matthew R. Riley. ALCH: An Imperative Language for Chemical Reaction Network-Controlled Tile Assembly. In 26th International Conference on DNA Computing and Molecular Programming (DNA 26). Leibniz International Proceedings in Informatics (LIPIcs), Volume 174, pp. 6:1-6:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{klinge_et_al:LIPIcs.DNA.2020.6, author = {Klinge, Titus H. and Lathrop, James I. and Moreno, Sonia and Potter, Hugh D. and Raman, Narun K. and Riley, Matthew R.}, title = {{ALCH: An Imperative Language for Chemical Reaction Network-Controlled Tile Assembly}}, booktitle = {26th International Conference on DNA Computing and Molecular Programming (DNA 26)}, pages = {6:1--6:22}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-163-4}, ISSN = {1868-8969}, year = {2020}, volume = {174}, editor = {Geary, Cody and Patitz, Matthew J.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DNA.2020.6}, URN = {urn:nbn:de:0030-drops-129592}, doi = {10.4230/LIPIcs.DNA.2020.6}, annote = {Keywords: Tile assembly, Chemical reaction network, Sierpinski triangle} }
Feedback for Dagstuhl Publishing