Logo del repository
  1. Home
 
Opzioni

Foundational aspects of multiscale modeling of biological systems with process algebras

Barbuti R
•
Caravagna G
•
Maggiolo Schettini A
altro
Tini S
2012
  • journal article

Periodico
THEORETICAL COMPUTER SCIENCE
Abstract
We propose a variant of the CCS process algebra with new features aiming at allowing multiscale modeling of biological systems. In the usual semantics of process algebras for modeling biological systems actions are instantaneous. When different scale levels of biological systems are considered in a single model, one should take into account that actions at a level may take much more time than actions at a lower level. Moreover, it might happen that while a component is involved in one long lasting high level action, it is involved also in several faster lower level actions. Hence, we propose a process algebra with operations and with a semantics aimed at dealing with these aspects of multiscale modeling. We give both a reduction semantics and an SOS semantics for our new algebra with a result of operational correspondence between the two. Moreover, we study behavioral equivalences for such an algebra and give some examples. © 2011 Elsevier B.V. All rights reserved.
DOI
10.1016/j.tcs.2011.12.058
WOS
WOS:000303302400008
Archivio
http://hdl.handle.net/11368/2956330
info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84859518128
Diritti
metadata only access
Soggetti
  • Bisimulation

  • Multiscale modeling

  • Process algebra

  • Structural operationa...

  • Theoretical Computer ...

  • Computer Science (all...

Scopus© citazioni
7
Data di acquisizione
Jun 7, 2022
Vedi dettagli
Web of Science© citazioni
5
Data di acquisizione
Mar 15, 2024
Visualizzazioni
3
Data di acquisizione
Apr 19, 2024
Vedi dettagli
google-scholar
Get Involved!
  • Source Code
  • Documentation
  • Slack Channel
Make it your own

DSpace-CRIS can be extensively configured to meet your needs. Decide which information need to be collected and available with fine-grained security. Start updating the theme to match your nstitution's web identity.

Need professional help?

The original creators of DSpace-CRIS at 4Science can take your project to the next level, get in touch!

Realizzato con Software DSpace-CRIS - Estensione mantenuta e ottimizzata da 4Science

  • Impostazioni dei cookie
  • Informativa sulla privacy
  • Accordo con l'utente finale
  • Invia il tuo Feedback