×

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].

MSC:

92B05 General biology and biomathematics
68Q99 Theory of computing
PDFBibTeX XMLCite
Full Text: Link