PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Cervesato I., Bistarelli S., Lenzini G., Martinelli F., Marangoni R. Representing Biological Systems with Multiset Rewriting. In: International Conference on Computer Aided System Theory EUROCAST 2003 (Las Palmas de Gran Canaria, Spain, February 24-28, 2003). Proceedings, pp. 415 - 426. D.R. Moreno, F. Pilchler (Eds.) (eds.). (Lecture Notes in Computer Science, vol. 2809). Springer Verlag, 2003.
 
 
Abstract
(English)
We report on preliminary experiments at using the Multiset Rewriting formalism MSR to specify biomolecular processes. The results are promising as MSR provides very direct and conceptually simple representations of our examples. MSR has been successfully used to describe and analyze complex distributed systems where global states evolves as the result of local transformations, such as security protocols.
Subject Bio-Molecular processes
Multiset rewriting
Representation
F.4.2 Grammars and Other Rewriting Systems
D.2.4 Software/Program Verification


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional