Formal molecular biology done in CCS (2003)

by Vincent Danos, Jean Krivine
Venue:In Proceedings of BIO-CONCUR’03