Verifying chemical reaction network implementations: A bisimulation approach.
Robert F. JohnsonQing DongErik WinfreePublished in: Theor. Comput. Sci. (2019)
Keyphrases
- chemical reaction
- efficient implementation
- network model
- wireless sensor networks
- communication networks
- databases
- data transfer
- network design
- network management
- network traffic
- complex networks
- network structure
- cooperative
- artificial intelligence
- database
- computer networks
- expert systems
- network architecture
- data flow
- knowledge base
- neural network
- heterogeneous networks
- network size