A Flat Process Calculus for Nested Membrane Interactions
The link-calculus has been recently proposed as a process calculus 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 no...
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Alexandru Ioan Cuza University of Iasi
2014-06-01
|
| Series: | Scientific Annals of Computer Science |
| Online Access: | http://www.info.uaic.ro/bin/download/Annals/XXIV1/XXIV1_2.pdf |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1850265189542264832 |
|---|---|
| author | C. Bodei L. Brodo R. Bruni D. Chiarugi |
| author_facet | C. Bodei L. Brodo R. Bruni D. Chiarugi |
| author_sort | C. Bodei |
| collection | DOAJ |
| description | The link-calculus has been recently proposed as a process calculus 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 particular, 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 flat, 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. |
| format | Article |
| id | doaj-art-2d8f85d2b4bc475884f25ef28194c318 |
| institution | OA Journals |
| issn | 1843-8121 2248-2695 |
| language | English |
| publishDate | 2014-06-01 |
| publisher | Alexandru Ioan Cuza University of Iasi |
| record_format | Article |
| series | Scientific Annals of Computer Science |
| spelling | doaj-art-2d8f85d2b4bc475884f25ef28194c3182025-08-20T01:54:30ZengAlexandru Ioan Cuza University of IasiScientific Annals of Computer Science1843-81212248-26952014-06-01XXIV19113610.7561/SACS.2014.1.91A Flat Process Calculus for Nested Membrane InteractionsC. BodeiL. BrodoR. BruniD. ChiarugiThe link-calculus has been recently proposed as a process calculus 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 particular, 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 flat, 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.http://www.info.uaic.ro/bin/download/Annals/XXIV1/XXIV1_2.pdf |
| spellingShingle | C. Bodei L. Brodo R. Bruni D. Chiarugi A Flat Process Calculus for Nested Membrane Interactions Scientific Annals of Computer Science |
| title | A Flat Process Calculus for Nested Membrane Interactions |
| title_full | A Flat Process Calculus for Nested Membrane Interactions |
| title_fullStr | A Flat Process Calculus for Nested Membrane Interactions |
| title_full_unstemmed | A Flat Process Calculus for Nested Membrane Interactions |
| title_short | A Flat Process Calculus for Nested Membrane Interactions |
| title_sort | flat process calculus for nested membrane interactions |
| url | http://www.info.uaic.ro/bin/download/Annals/XXIV1/XXIV1_2.pdf |
| work_keys_str_mv | AT cbodei aflatprocesscalculusfornestedmembraneinteractions AT lbrodo aflatprocesscalculusfornestedmembraneinteractions AT rbruni aflatprocesscalculusfornestedmembraneinteractions AT dchiarugi aflatprocesscalculusfornestedmembraneinteractions AT cbodei flatprocesscalculusfornestedmembraneinteractions AT lbrodo flatprocesscalculusfornestedmembraneinteractions AT rbruni flatprocesscalculusfornestedmembraneinteractions AT dchiarugi flatprocesscalculusfornestedmembraneinteractions |