Verifying Chemical Reaction Network Implementations: A Bisimulation Approach.

Robert F. Johnson Qing Dong Erik Winfree

Published in: DNA (2016)

Keyphrases

chemical reaction
computer networks
network model
databases
complex networks
efficient implementation
network traffic
wireless sensor networks
network structure
peer to peer
expert systems
case study
communication networks
genetic algorithm
network management
network topologies
machine learning