IEEE - Institute of Electrical and Electronics Engineers, Inc. - Formal executable descriptions of biological systems

Proceedings. Second International Conference on the Quantitative Evaluation of Systems

Author(s): M. Curti ; P. Degano ; D. Prandi ; C. Priami ; P. Quaglia ; L. Brodo
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2005
Conference Location: Torino, Italy
Conference Date: 19 September 2005
Page(s): 2 - 11
ISBN (Paper): 0-7695-2427-3
DOI: 10.1109/QEST.2005.13
Regular:

The similarities between systems of living entities and systems of concurrent processes may support biological experiments in silico. Process calculi offer a formal framework to describe... View More

Advertisement