An Algebraic Approach for Inferring and Using Symmetries in Rule-Based Models
(2015) : J{\'e}rôme Feret
DOI: https://doi.org/10.1016/j.entcs.2015.06.010
#Kappa #bisimulation #category_theory #group_actions #rule_language #symmetry
#my_bibtex