Simulation of Kohn's Molecular Interaction Maps through Translation into Stochastic CLS+. - Roberto Barbuti; Daniela Lepri; Andrea Maggiolo-Schettini; Paolo Milazzo; Giovanni Pardini; Aureliano Rama (Ershov Memorial Conference, 2009)

A Process Calculus for Molecular Interaction Maps - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Giovanni Pardini; Aureliano Rama (MeCBIC, 2009)