Constructing and visualizing chemical reaction networks from pi-calculus models

Mathias John, Hans-Jörg Schulz, Heidrun Schumann, Adelinde M. Uhrmacher, Andrea Unger. Constructing and visualizing chemical reaction networks from pi-calculus models. Formal Asp. Comput., 25(5):723-742, 2013. [doi]

Abstract

Abstract is missing.