Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine. Rule-Based Modelling, Symmetries, Refinements. In Jasmin Fisher, editor, Formal Methods in Systems Biology, First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings. Volume 5054 of Lecture Notes in Computer Science, pages 103-122, Springer, 2008. [doi]
Abstract is missing.