scientific article; zbMATH DE number 7756099

DOI10.4230/LIPICS.DNA.2020.5arXiv1909.05390MaRDI QIDQ6079215

Unnamed Author, Unnamed Author, Jack H. Lutz, Unnamed Author, James I. Lathrop

Publication date: 27 October 2023

Full work available at URL: https://arxiv.org/abs/1909.05390

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

verificationphase transitionsmolecular programmingpopulation protocolschemical reaction networks

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07)

Related Items (1)

ppsim: a software package for efficiently simulating and visualizing population protocols

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A simple population protocol for fast robust approximate majority
• Computation with finite stochastic chemical reaction networks
• Isabelle/HOL. A proof assistant for higher-order logic
• Simplifying analyses of chemical reaction networks for approximate majority
• A general-purpose CRN-to-DSD compiler with formal verification, optimization, and simulation capabilities
• The computational power of population protocols
• From LCF to Isabelle/HOL
• Chemical Reaction Network Designs for Asynchronous Logic Circuits
• Concrete Semantics
• Model Checking Parameterized Systems
• Phase Transitions in Sampling Algorithms and the Underlying Random Structures
• Phase Transitions in Random Dyadic Tilings and Rectangular Dissections
• Central Limit Model Checking
• Strong Turing Completeness of Continuous Chemical Reaction Networks and Compilation of Mixed Analog-Digital Programs
• Efficiency through uncertainty
• Stochastic Analysis of Biochemical Systems
• On the Representation of Kleene Algebras with Tests
• Classes of Recursively Enumerable Sets and Their Decision Problems

This page was built for publication: