On representing biological systems through multiset rewriting

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2809, Issue , 2004, Pages 415-426

  Bistarelli, S ^a,b   Cervesato, I ^c   Lenzini, G ^d   Marangoni, R ^e,f   Martinelli, F ^a  

^a Istituto di informatica e telematica del Consiglio nazionale delle ricerche   (Italy)

^b UNIVERSITY OF CHIETI   (Italy)

^c ITT INDUSTRIES   (United States)

^d ISTI CNR   (Italy)

^e CNR Consiglio Nazionale delle Ricerche   (Italy)

^f UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; METABOLISM; PETRI NETS; SPECIFICATION LANGUAGES; STOCHASTIC SYSTEMS; SYSTEM THEORY;

CONCEPTUAL MODEL; DYNAMIC ASPECTS; INTERMEDIATE LANGUAGES; METABOLIC PATHWAYS; MULTISET REWRITING; SECURITY PROTOCOLS; STOCHASTIC PETRI NETS;

STOCHASTIC MODELS;

EID: 0242308133     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Article

References (10)

1. Pevzner, A.: Computational Molecular Biology. MIT press (2000)
2. Priami, C., Regev, A., Shapiro, E., Silverman, W.: Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters 80 (2001)
3. Cervesato, I., Durgin, N., Lincoln, P.D., Mitchell, J.C., Scedrov, A.: A Meta-Notation for Protocol Analysis. In: 12th Computer Security Foundations Workshop - CSFW-12, Mordano, Italy, IEEE Computer Society Press (1999) 55-69
4. Cervesato, I.: A Specification Language for Crypto-Protocols based on Multiset Rewriting, Dependent Types and Subsorting. In Delzanno, G., Etalle, S., Gabbrielli, M., eds.: Workshop on Specification, Analysis and Validation for Emerging Technologies - SAVE'01, Paphos, Cyprus (2001) 1-22
5. Gillespie, D.: Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry 81 (1977) 2340-2361
6. Goss, P., Peccoud, J.: Quantitatice modeling of stochastic systems in molecular biology by using stochastic Petri Nets. In: Proc. National Academy of Sciences USA. Volume 95. (1998) 6750-6754
7. Bistarelli, S., Cervesato, I., Lenzini, G., Martinelli, F.: Relating process algebras and multiset rewriting (for example for security protocol analysis). Technical report, Istituto di Scienza e Tecnologie dell'Informazione (ISTI-CNR) (2002) To appear.
8. Denker, G., Millen, J.K.: CAPSL Intermediate Language. In Heintze, N., Clarke, E., eds.: Proceedings of the Workshop on Formal Methods and Security Protocols - FMSP, Trento, Italy (1999)
9. Eker, S., Knapp, M., Laderoute, K., Lincoln, P., Meseguer, J., Sonmez, K.: Pathway logic: Symbolic analysis of biological signaling. In: Proc. Pacific Symposium on Biocomputing. Volume 7. (2002) 400-412
10. R. Hofestädt, M.L.u.U.S.: Molecular information fusion for metabolic networks. In: In G.X. Xue, Y.B. Xue, Z.H. Xu, R. Holmes, G. Hammond und H.A. Lim, Herausgeber, Gene Families: Studies of DNA, RNA, Enzymes and Proteins. (2001) 221-232