Forward and Backward Bisimulations for Chemical Reaction Networks.

Luca Cardelli Mirco Tribastone Max Tschaikowski Andrea Vandin

Published in: CONCUR (2015)

Keyphrases

forward and backward
chemical reaction
social networks
chemical reactions
dynamic programming
orders of magnitude
complex networks
greedy search
neural network
machine learning