The link-calculus has been recently proposed as a process calcu- lus for representing interactions that are open (i.e. that the number of processes may vary), and multiparty (i.e. that may involve more than two processes). Here, we apply the link-calculus for expressing, possibly hierarchical and non dyadic, biological interactions. In par- ticular, we provide a natural encoding of Cardelli's Brane calculus, a compartment-based calculus, introduced to model the behaviour of nested membranes. Notably, the link-calculus is at, but we can model membranes just as special processes taking part in the biological reaction. Moreover, we give evidence that the link-calculus allows one to directly model biological phenomena at the more appropriate level of abstraction.

A Flat Process Calculus for Nested Membrane Interactions / Bodei, C.; Brodo, Linda; Bruni, R.; Chiarugi, D.. - In: SCIENTIFIC ANNALS OF COMPUTER SCIENCE. - ISSN 1843-8121. - 24:1(2014), pp. 91-136. [10.7561/SACS.2014.1.91]

A Flat Process Calculus for Nested Membrane Interactions

BRODO, Linda;
2014

Abstract

The link-calculus has been recently proposed as a process calcu- lus for representing interactions that are open (i.e. that the number of processes may vary), and multiparty (i.e. that may involve more than two processes). Here, we apply the link-calculus for expressing, possibly hierarchical and non dyadic, biological interactions. In par- ticular, we provide a natural encoding of Cardelli's Brane calculus, a compartment-based calculus, introduced to model the behaviour of nested membranes. Notably, the link-calculus is at, but we can model membranes just as special processes taking part in the biological reaction. Moreover, we give evidence that the link-calculus allows one to directly model biological phenomena at the more appropriate level of abstraction.
A Flat Process Calculus for Nested Membrane Interactions / Bodei, C.; Brodo, Linda; Bruni, R.; Chiarugi, D.. - In: SCIENTIFIC ANNALS OF COMPUTER SCIENCE. - ISSN 1843-8121. - 24:1(2014), pp. 91-136. [10.7561/SACS.2014.1.91]
File in questo prodotto:
Non ci sono file associati a questo prodotto.

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/11388/80756
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 11
  • ???jsp.display-item.citation.isi??? ND
social impact