Rule-based modelling, symmetries, refinements. (2008)

by V Danos, J Feret, W Fontana, R Harmer, J Krivine
Venue:Lecture Notes in Computer Science,