A generic language for biological systems based on bigraphs (2008)

by T C Damgaard, J Krivine
Venue:IT University