scientific article; zbMATH DE number 7756099
From MaRDI portal
Publication:6079215
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.
Specification and verification (program logics, model checking, etc.) (68Q60) Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07)
Related Items (1)
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:
