G: The calculus of looping sequences (0)

by R Barbuti, G Caravagna, A Maggiolo-Schettini, P Milazzo, Pardini
Venue:In Formal Methods for Computational Systems Biology, Volume 5016 of Lecture Notes in Computer Science