Degano, Pierpaolo; Priami, Corrado Enhanced operational semantics in systems biology. (English) Zbl 1112.92302 Priami, Corrado (ed.), Computational methods in systems biology. First international workshop, CMSB 2003, Rovereto, Italy, February 24–26, 2003. Proceedings. Berlin: Springer (ISBN 3-540-00605-2/pbk). Lect. Notes Comput. Sci. 2602, 178-181 (2003). Summary: We are faced with a great challenge: the cross-fertilization between the fields of formal methods for concurrency, in the computer science domain, and systems biology in the biological realm.For the entire collection see [Zbl 1015.00031]. Cited in 4 Documents MSC: 92B05 General biology and biomathematics 68Q99 Theory of computing PDFBibTeX XMLCite \textit{P. Degano} and \textit{C. Priami}, Lect. Notes Comput. Sci. 2602, 178--181 (2003; Zbl 1112.92302) Full Text: Link