Process calculi have been proved to be a powerful tool for describing biological processes. They allowed us to study the folding process of RNAs and proteins and identify an abstraction level at which these two classes of molecules are behaviourally equivalent and perform functions of the same complexity. In this work, we go one step further, by exploring the expressiveness of process algebras in modelling the functions representing the behaviour of non-coding RNA molecules; the characterisation of the RNA catalytic activity defines a congruence class. Basing on these results, we propose a methodology suitable to generate an algebraic specification of a multiagent simulation. This approach is designed not only for theoretical purposes, but mostly to support the study of cellular processes and pathologies involving non-coding RNAs, by constructing agent-based models and validating hypotheses through model simulation. It might equally promote the development of future applications of non-coding RNA mediated inhibition of influenza infections.

Algebraic characterisation of non-coding RNA

Maestri S.;Merelli E.
2020-01-01

Abstract

Process calculi have been proved to be a powerful tool for describing biological processes. They allowed us to study the folding process of RNAs and proteins and identify an abstraction level at which these two classes of molecules are behaviourally equivalent and perform functions of the same complexity. In this work, we go one step further, by exploring the expressiveness of process algebras in modelling the functions representing the behaviour of non-coding RNA molecules; the characterisation of the RNA catalytic activity defines a congruence class. Basing on these results, we propose a methodology suitable to generate an algebraic specification of a multiagent simulation. This approach is designed not only for theoretical purposes, but mostly to support the study of cellular processes and pathologies involving non-coding RNAs, by constructing agent-based models and validating hypotheses through model simulation. It might equally promote the development of future applications of non-coding RNA mediated inhibition of influenza infections.
2020
9783030630607
9783030630614
File in questo prodotto:
File Dimensione Formato  
Lecture Notes in Computer Science, 12313.pdf

solo gestori di archivio

Descrizione: Document type: Conference Paper
Tipologia: Versione Editoriale
Licenza: NON PUBBLICO - Accesso privato/ristretto
Dimensione 3.03 MB
Formato Adobe PDF
3.03 MB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11581/448411
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact