Verifying polymer reaction networks using bisimulation.

Robert F. Johnson Erik Winfree

Published in: Theor. Comput. Sci. (2020)

Keyphrases

real time
social networks
model checking
network structure
network design
probability distribution
complex networks
biological networks
chemical reaction
reaction diffusion
network parameters
network size
probabilistic networks
computer networks
website
information systems
information retrieval
machine learning