Graphs, rewriting and pathway reconstruction for rule-based models (2012)

by V Danos, J Feret, W Fontana, R Harmer, J Hayman, J Krivine, C Thompson-Walsh, G Winskel
Venue:In FSTTCS 2012-IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science