![Page 1: Mobile Calculi Course BRICS, University of Aarhus December 2004 · 2005. 8. 9. · Brane Calculi Presented by Jesus´ F. Almansa jfa@brics.dk Mobile Calculi Course BRICS, University](https://reader035.vdocuments.mx/reader035/viewer/2022070208/60f994ddacfdb1070e6cb826/html5/thumbnails/1.jpg)
Brane CalculiPresented by Jesus F. Almansa
Mobile Calculi Course
BRICS, University of Aarhus
December 2004
Brane Calculi – p. 1/15
![Page 2: Mobile Calculi Course BRICS, University of Aarhus December 2004 · 2005. 8. 9. · Brane Calculi Presented by Jesus´ F. Almansa jfa@brics.dk Mobile Calculi Course BRICS, University](https://reader035.vdocuments.mx/reader035/viewer/2022070208/60f994ddacfdb1070e6cb826/html5/thumbnails/2.jpg)
Motivation
Biological Systems
Imprecise descriptions
Complex...
Need to be formalized.
In particular, membranes have their own dynamics.
Motivation
Design
Previous work:P-System: dismatch with realityBioSpy: calculate with moleculesBioAmbients: calculate with molecules, add membranesBrane Calculi: calculate on membranes
Brane Calculi – p. 2/15
![Page 3: Mobile Calculi Course BRICS, University of Aarhus December 2004 · 2005. 8. 9. · Brane Calculi Presented by Jesus´ F. Almansa jfa@brics.dk Mobile Calculi Course BRICS, University](https://reader035.vdocuments.mx/reader035/viewer/2022070208/60f994ddacfdb1070e6cb826/html5/thumbnails/3.jpg)
Motivation
Biological Systems
Imprecise descriptions
Complex...
Need to be formalized.In particular, membranes have their own dynamics.
Motivation
Design
Previous work:P-System: dismatch with realityBioSpy: calculate with moleculesBioAmbients: calculate with molecules, add membranesBrane Calculi: calculate on membranes
Brane Calculi – p. 2/15
![Page 4: Mobile Calculi Course BRICS, University of Aarhus December 2004 · 2005. 8. 9. · Brane Calculi Presented by Jesus´ F. Almansa jfa@brics.dk Mobile Calculi Course BRICS, University](https://reader035.vdocuments.mx/reader035/viewer/2022070208/60f994ddacfdb1070e6cb826/html5/thumbnails/4.jpg)
Motivation
Biological Systems
Imprecise descriptions
Complex...
Need to be formalized.In particular, membranes have their own dynamics.
Motivation
Design
Previous work:P-System: dismatch with realityBioSpy: calculate with moleculesBioAmbients: calculate with molecules, add membranesBrane Calculi: calculate on membranes
Brane Calculi – p. 2/15
![Page 5: Mobile Calculi Course BRICS, University of Aarhus December 2004 · 2005. 8. 9. · Brane Calculi Presented by Jesus´ F. Almansa jfa@brics.dk Mobile Calculi Course BRICS, University](https://reader035.vdocuments.mx/reader035/viewer/2022070208/60f994ddacfdb1070e6cb826/html5/thumbnails/5.jpg)
Motivation
Biological Systems
Imprecise descriptions
Complex...
Need to be formalized.In particular, membranes have their own dynamics.
Motivation
Design
Previous work:P-System: dismatch with realityBioSpy: calculate with moleculesBioAmbients: calculate with molecules, add membranesBrane Calculi: calculate on membranes
Brane Calculi – p. 2/15
![Page 6: Mobile Calculi Course BRICS, University of Aarhus December 2004 · 2005. 8. 9. · Brane Calculi Presented by Jesus´ F. Almansa jfa@brics.dk Mobile Calculi Course BRICS, University](https://reader035.vdocuments.mx/reader035/viewer/2022070208/60f994ddacfdb1070e6cb826/html5/thumbnails/6.jpg)
The Papers
Bitonal Membrane Systems,
Interactions of Biological Membranes
Luca Cardelli
Brane Calculi,
Interactions of Biological Membranes
Luca Cardelli
Brane Calculi – p. 3/15
![Page 7: Mobile Calculi Course BRICS, University of Aarhus December 2004 · 2005. 8. 9. · Brane Calculi Presented by Jesus´ F. Almansa jfa@brics.dk Mobile Calculi Course BRICS, University](https://reader035.vdocuments.mx/reader035/viewer/2022070208/60f994ddacfdb1070e6cb826/html5/thumbnails/7.jpg)
Membrane Systems
Finite set of simple, closed and smooth curves
Alternated Orientation: Bitonality
Reactions: (Instantaneous) transformations bitonality-preserving“locally”
Some bio-reactions are atonal, but abs-atonality is mostlyunrealistic. Hence, ruled-out.
Brane Calculi – p. 4/15
![Page 8: Mobile Calculi Course BRICS, University of Aarhus December 2004 · 2005. 8. 9. · Brane Calculi Presented by Jesus´ F. Almansa jfa@brics.dk Mobile Calculi Course BRICS, University](https://reader035.vdocuments.mx/reader035/viewer/2022070208/60f994ddacfdb1070e6cb826/html5/thumbnails/8.jpg)
Membrane Systems
Finite set of simple, closed and smooth curves
Alternated Orientation: Bitonality
Reactions: (Instantaneous) transformations bitonality-preserving“locally”
Some bio-reactions are atonal, but abs-atonality is mostlyunrealistic. Hence, ruled-out.
Brane Calculi – p. 4/15
![Page 9: Mobile Calculi Course BRICS, University of Aarhus December 2004 · 2005. 8. 9. · Brane Calculi Presented by Jesus´ F. Almansa jfa@brics.dk Mobile Calculi Course BRICS, University](https://reader035.vdocuments.mx/reader035/viewer/2022070208/60f994ddacfdb1070e6cb826/html5/thumbnails/9.jpg)
Membrane Systems
Finite set of simple, closed and smooth curves
Alternated Orientation: Bitonality
Reactions: (Instantaneous) transformations bitonality-preserving“locally”
Some bio-reactions are atonal, but abs-atonality is mostlyunrealistic. Hence, ruled-out.
Brane Calculi – p. 4/15
![Page 10: Mobile Calculi Course BRICS, University of Aarhus December 2004 · 2005. 8. 9. · Brane Calculi Presented by Jesus´ F. Almansa jfa@brics.dk Mobile Calculi Course BRICS, University](https://reader035.vdocuments.mx/reader035/viewer/2022070208/60f994ddacfdb1070e6cb826/html5/thumbnails/10.jpg)
Membrane Systems
Finite set of simple, closed and smooth curves
Alternated Orientation: Bitonality
Reactions: (Instantaneous) transformations bitonality-preserving“locally”
Some bio-reactions are atonal, but abs-atonality is mostlyunrealistic. Hence, ruled-out.
Brane Calculi – p. 4/15
![Page 11: Mobile Calculi Course BRICS, University of Aarhus December 2004 · 2005. 8. 9. · Brane Calculi Presented by Jesus´ F. Almansa jfa@brics.dk Mobile Calculi Course BRICS, University](https://reader035.vdocuments.mx/reader035/viewer/2022070208/60f994ddacfdb1070e6cb826/html5/thumbnails/11.jpg)
Membrane Systems
Finite set of simple, closed and smooth curves
Alternated Orientation: Bitonality
Reactions: (Instantaneous) transformations bitonality-preserving“locally”
Some bio-reactions are atonal, but abs-atonality is mostlyunrealistic. Hence, ruled-out.
Brane Calculi – p. 4/15
![Page 12: Mobile Calculi Course BRICS, University of Aarhus December 2004 · 2005. 8. 9. · Brane Calculi Presented by Jesus´ F. Almansa jfa@brics.dk Mobile Calculi Course BRICS, University](https://reader035.vdocuments.mx/reader035/viewer/2022070208/60f994ddacfdb1070e6cb826/html5/thumbnails/12.jpg)
Membrane Systems
Finite set of simple, closed and smooth curves
Alternated Orientation: Bitonality
Reactions: (Instantaneous) transformations bitonality-preserving“locally”
Some bio-reactions are atonal, but abs-atonality is mostlyunrealistic. Hence, ruled-out.
Brane Calculi – p. 4/15
![Page 13: Mobile Calculi Course BRICS, University of Aarhus December 2004 · 2005. 8. 9. · Brane Calculi Presented by Jesus´ F. Almansa jfa@brics.dk Mobile Calculi Course BRICS, University](https://reader035.vdocuments.mx/reader035/viewer/2022070208/60f994ddacfdb1070e6cb826/html5/thumbnails/13.jpg)
Membrane Reactions
Mito
Mate
Endo
Exo
Brane Calculi – p. 5/15
![Page 14: Mobile Calculi Course BRICS, University of Aarhus December 2004 · 2005. 8. 9. · Brane Calculi Presented by Jesus´ F. Almansa jfa@brics.dk Mobile Calculi Course BRICS, University](https://reader035.vdocuments.mx/reader035/viewer/2022070208/60f994ddacfdb1070e6cb826/html5/thumbnails/14.jpg)
Membrane Reactions
Mito
Mate
Endo
Exo
Brane Calculi – p. 5/15
![Page 15: Mobile Calculi Course BRICS, University of Aarhus December 2004 · 2005. 8. 9. · Brane Calculi Presented by Jesus´ F. Almansa jfa@brics.dk Mobile Calculi Course BRICS, University](https://reader035.vdocuments.mx/reader035/viewer/2022070208/60f994ddacfdb1070e6cb826/html5/thumbnails/15.jpg)
Membrane Reactions
Mito
Mate
Endo
Exo
Brane Calculi – p. 5/15
![Page 16: Mobile Calculi Course BRICS, University of Aarhus December 2004 · 2005. 8. 9. · Brane Calculi Presented by Jesus´ F. Almansa jfa@brics.dk Mobile Calculi Course BRICS, University](https://reader035.vdocuments.mx/reader035/viewer/2022070208/60f994ddacfdb1070e6cb826/html5/thumbnails/16.jpg)
Membrane Reactions
Mito
Mate
Endo
Exo
Brane Calculi – p. 5/15
![Page 17: Mobile Calculi Course BRICS, University of Aarhus December 2004 · 2005. 8. 9. · Brane Calculi Presented by Jesus´ F. Almansa jfa@brics.dk Mobile Calculi Course BRICS, University](https://reader035.vdocuments.mx/reader035/viewer/2022070208/60f994ddacfdb1070e6cb826/html5/thumbnails/17.jpg)
Membrane Reactions
Mito
Mate
Endo
Exo
Brane Calculi – p. 5/15
![Page 18: Mobile Calculi Course BRICS, University of Aarhus December 2004 · 2005. 8. 9. · Brane Calculi Presented by Jesus´ F. Almansa jfa@brics.dk Mobile Calculi Course BRICS, University](https://reader035.vdocuments.mx/reader035/viewer/2022070208/60f994ddacfdb1070e6cb826/html5/thumbnails/18.jpg)
{Endo,Exo} is complete
Moreover, Endo is splitted:
Brane Calculi – p. 6/15
![Page 19: Mobile Calculi Course BRICS, University of Aarhus December 2004 · 2005. 8. 9. · Brane Calculi Presented by Jesus´ F. Almansa jfa@brics.dk Mobile Calculi Course BRICS, University](https://reader035.vdocuments.mx/reader035/viewer/2022070208/60f994ddacfdb1070e6cb826/html5/thumbnails/19.jpg)
{Endo,Exo} is complete
Moreover, Endo is splitted:
Brane Calculi – p. 6/15
![Page 20: Mobile Calculi Course BRICS, University of Aarhus December 2004 · 2005. 8. 9. · Brane Calculi Presented by Jesus´ F. Almansa jfa@brics.dk Mobile Calculi Course BRICS, University](https://reader035.vdocuments.mx/reader035/viewer/2022070208/60f994ddacfdb1070e6cb826/html5/thumbnails/20.jpg)
The Leap to Abstraction
Endo is not spontaneous, but regulated by membranes (i.e. itsembedded proteins)
A Formalization:
Actions “on” membranes, not “inside”.
Action/co-action interaction style.
A calculus of membrane reactions.
Brane Calculi – p. 7/15
![Page 21: Mobile Calculi Course BRICS, University of Aarhus December 2004 · 2005. 8. 9. · Brane Calculi Presented by Jesus´ F. Almansa jfa@brics.dk Mobile Calculi Course BRICS, University](https://reader035.vdocuments.mx/reader035/viewer/2022070208/60f994ddacfdb1070e6cb826/html5/thumbnails/21.jpg)
The Leap to Abstraction
Endo is not spontaneous, but regulated by membranes (i.e. itsembedded proteins)
A Formalization:
Actions “on” membranes, not “inside”.
Action/co-action interaction style.
A calculus of membrane reactions.
Brane Calculi – p. 7/15
![Page 22: Mobile Calculi Course BRICS, University of Aarhus December 2004 · 2005. 8. 9. · Brane Calculi Presented by Jesus´ F. Almansa jfa@brics.dk Mobile Calculi Course BRICS, University](https://reader035.vdocuments.mx/reader035/viewer/2022070208/60f994ddacfdb1070e6cb826/html5/thumbnails/22.jpg)
The Leap to Abstraction
Endo is not spontaneous, but regulated by membranes (i.e. itsembedded proteins)
A Formalization:
Actions “on” membranes, not “inside”.
Action/co-action interaction style.
A calculus of membrane reactions.
Brane Calculi – p. 7/15
![Page 23: Mobile Calculi Course BRICS, University of Aarhus December 2004 · 2005. 8. 9. · Brane Calculi Presented by Jesus´ F. Almansa jfa@brics.dk Mobile Calculi Course BRICS, University](https://reader035.vdocuments.mx/reader035/viewer/2022070208/60f994ddacfdb1070e6cb826/html5/thumbnails/23.jpg)
The Leap to Abstraction
Endo is not spontaneous, but regulated by membranes (i.e. itsembedded proteins)
A Formalization:
Actions “on” membranes, not “inside”.
Action/co-action interaction style.
A calculus of membrane reactions.
Brane Calculi – p. 7/15
![Page 24: Mobile Calculi Course BRICS, University of Aarhus December 2004 · 2005. 8. 9. · Brane Calculi Presented by Jesus´ F. Almansa jfa@brics.dk Mobile Calculi Course BRICS, University](https://reader035.vdocuments.mx/reader035/viewer/2022070208/60f994ddacfdb1070e6cb826/html5/thumbnails/24.jpg)
Syntax
Systems P,Q ::= � | P ◦Q | !P | σLP M
Branes σ, τ ::= 0 | σ|τ | !σ| a.σ
Actions a, b ::=
τ |σLP M
σ
τ
P
Brane with σ, τ and contents P
Brane Calculi – p. 8/15
![Page 25: Mobile Calculi Course BRICS, University of Aarhus December 2004 · 2005. 8. 9. · Brane Calculi Presented by Jesus´ F. Almansa jfa@brics.dk Mobile Calculi Course BRICS, University](https://reader035.vdocuments.mx/reader035/viewer/2022070208/60f994ddacfdb1070e6cb826/html5/thumbnails/25.jpg)
Syntax
Systems P,Q ::= � | P ◦Q | !P | σLP M
Branes σ, τ ::= 0 | σ|τ | !σ| a.σ
Actions a, b ::=
τ |σLP M
σ
τ
P
Brane with σ, τ and contents P
Brane Calculi – p. 8/15
![Page 26: Mobile Calculi Course BRICS, University of Aarhus December 2004 · 2005. 8. 9. · Brane Calculi Presented by Jesus´ F. Almansa jfa@brics.dk Mobile Calculi Course BRICS, University](https://reader035.vdocuments.mx/reader035/viewer/2022070208/60f994ddacfdb1070e6cb826/html5/thumbnails/26.jpg)
Congruence ≡, Reactions →
(P, ◦, �) comutative monoid(σ, |, 0) comutative monoidthe usual...
P → Q
P ◦R→ Q ◦ R
P → Q
σLP M→ σLQM
P ≡ P ′ P ′ → Q′ Q′ ≡ Q
P → Q
plus the effect of actions
Brane Calculi – p. 9/15
![Page 27: Mobile Calculi Course BRICS, University of Aarhus December 2004 · 2005. 8. 9. · Brane Calculi Presented by Jesus´ F. Almansa jfa@brics.dk Mobile Calculi Course BRICS, University](https://reader035.vdocuments.mx/reader035/viewer/2022070208/60f994ddacfdb1070e6cb826/html5/thumbnails/27.jpg)
Congruence ≡, Reactions →
(P, ◦, �) comutative monoid(σ, |, 0) comutative monoidthe usual...
P → Q
P ◦R→ Q ◦ R
P → Q
σLP M→ σLQM
P ≡ P ′ P ′ → Q′ Q′ ≡ Q
P → Q
plus the effect of actions
Brane Calculi – p. 9/15
![Page 28: Mobile Calculi Course BRICS, University of Aarhus December 2004 · 2005. 8. 9. · Brane Calculi Presented by Jesus´ F. Almansa jfa@brics.dk Mobile Calculi Course BRICS, University](https://reader035.vdocuments.mx/reader035/viewer/2022070208/60f994ddacfdb1070e6cb826/html5/thumbnails/28.jpg)
Congruence ≡, Reactions →
(P, ◦, �) comutative monoid(σ, |, 0) comutative monoidthe usual...
P → Q
P ◦R→ Q ◦ R
P → Q
σLP M→ σLQM
P ≡ P ′ P ′ → Q′ Q′ ≡ Q
P → Q
plus the effect of actions
Brane Calculi – p. 9/15
![Page 29: Mobile Calculi Course BRICS, University of Aarhus December 2004 · 2005. 8. 9. · Brane Calculi Presented by Jesus´ F. Almansa jfa@brics.dk Mobile Calculi Course BRICS, University](https://reader035.vdocuments.mx/reader035/viewer/2022070208/60f994ddacfdb1070e6cb826/html5/thumbnails/29.jpg)
Actions
Actions a, b ::= Bn |⊥
nB(σ) | Cn | C
⊥
n| � (σ)
Phago:Bn .σ|σ0LP M ◦ ⊥
nB(ρ).τ |τ0LQM→ τ |τ0LρLσ|σ0LP MM ◦QM
Exo:C
⊥
n.τ |τ0LCn .σ|σ0LP M ◦QM→ P ◦ σ|σ0|τ |τ0LQM
Pino:�(ρ).σ|σ0LP M→ σ|σ0LρL�M ◦ P M
Brane Calculi – p. 10/15
![Page 30: Mobile Calculi Course BRICS, University of Aarhus December 2004 · 2005. 8. 9. · Brane Calculi Presented by Jesus´ F. Almansa jfa@brics.dk Mobile Calculi Course BRICS, University](https://reader035.vdocuments.mx/reader035/viewer/2022070208/60f994ddacfdb1070e6cb826/html5/thumbnails/30.jpg)
Actions
Actions a, b ::= Bn |⊥
nB(σ) | Cn | C
⊥
n| � (σ)
Phago:Bn .σ|σ0LP M ◦ ⊥
nB(ρ).τ |τ0LQM→ τ |τ0LρLσ|σ0LP MM ◦QM
Exo:C
⊥
n.τ |τ0LCn .σ|σ0LP M ◦QM→ P ◦ σ|σ0|τ |τ0LQM
Pino:�(ρ).σ|σ0LP M→ σ|σ0LρL�M ◦ P M
Brane Calculi – p. 10/15
![Page 31: Mobile Calculi Course BRICS, University of Aarhus December 2004 · 2005. 8. 9. · Brane Calculi Presented by Jesus´ F. Almansa jfa@brics.dk Mobile Calculi Course BRICS, University](https://reader035.vdocuments.mx/reader035/viewer/2022070208/60f994ddacfdb1070e6cb826/html5/thumbnails/31.jpg)
Actions
Actions a, b ::= Bn |⊥
nB(σ) | Cn | C
⊥
n| � (σ)
Phago:Bn .σ|σ0LP M ◦ ⊥
nB(ρ).τ |τ0LQM→ τ |τ0LρLσ|σ0LP MM ◦QM
Exo:C
⊥
n.τ |τ0LCn .σ|σ0LP M ◦QM→ P ◦ σ|σ0|τ |τ0LQM
Pino:�(ρ).σ|σ0LP M→ σ|σ0LρL�M ◦ P M
Brane Calculi – p. 10/15
![Page 32: Mobile Calculi Course BRICS, University of Aarhus December 2004 · 2005. 8. 9. · Brane Calculi Presented by Jesus´ F. Almansa jfa@brics.dk Mobile Calculi Course BRICS, University](https://reader035.vdocuments.mx/reader035/viewer/2022070208/60f994ddacfdb1070e6cb826/html5/thumbnails/32.jpg)
Actions
Actions a, b ::= Bn |⊥
nB(σ) | Cn | C
⊥
n| � (σ)
Phago:Bn .σ|σ0LP M ◦ ⊥
nB(ρ).τ |τ0LQM→ τ |τ0LρLσ|σ0LP MM ◦QM
Exo:C
⊥
n.τ |τ0LCn .σ|σ0LP M ◦QM→ P ◦ σ|σ0|τ |τ0LQM
Pino:�(ρ).σ|σ0LP M→ σ|σ0LρL�M ◦ P M
Brane Calculi – p. 10/15
![Page 33: Mobile Calculi Course BRICS, University of Aarhus December 2004 · 2005. 8. 9. · Brane Calculi Presented by Jesus´ F. Almansa jfa@brics.dk Mobile Calculi Course BRICS, University](https://reader035.vdocuments.mx/reader035/viewer/2022070208/60f994ddacfdb1070e6cb826/html5/thumbnails/33.jpg)
Actions Depicted
Brane Calculi – p. 11/15
![Page 34: Mobile Calculi Course BRICS, University of Aarhus December 2004 · 2005. 8. 9. · Brane Calculi Presented by Jesus´ F. Almansa jfa@brics.dk Mobile Calculi Course BRICS, University](https://reader035.vdocuments.mx/reader035/viewer/2022070208/60f994ddacfdb1070e6cb826/html5/thumbnails/34.jpg)
Example: Mate
maten
def= Bn . C
n′ .σ
mate⊥
n
def= ⊥
nB(C⊥
n′ . C
n′′). C
⊥
n′′ .τ
Proposition:σ0|maten.σLP M ◦ τ0|mate⊥
n.τLQM→∗ σ0|σ|τ0|τLP ◦QM
Homework: Drip (Mito with 0), Bud (Mito with 1)
Brane Calculi – p. 12/15
![Page 35: Mobile Calculi Course BRICS, University of Aarhus December 2004 · 2005. 8. 9. · Brane Calculi Presented by Jesus´ F. Almansa jfa@brics.dk Mobile Calculi Course BRICS, University](https://reader035.vdocuments.mx/reader035/viewer/2022070208/60f994ddacfdb1070e6cb826/html5/thumbnails/35.jpg)
Example: Mate
maten
def= Bn . C
n′ .σ
mate⊥
n
def= ⊥
nB(C⊥
n′ . C
n′′). C
⊥
n′′ .τ
Proposition:σ0|maten.σLP M ◦ τ0|mate⊥
n.τLQM→∗ σ0|σ|τ0|τLP ◦QM
Homework: Drip (Mito with 0), Bud (Mito with 1)
Brane Calculi – p. 12/15
![Page 36: Mobile Calculi Course BRICS, University of Aarhus December 2004 · 2005. 8. 9. · Brane Calculi Presented by Jesus´ F. Almansa jfa@brics.dk Mobile Calculi Course BRICS, University](https://reader035.vdocuments.mx/reader035/viewer/2022070208/60f994ddacfdb1070e6cb826/html5/thumbnails/36.jpg)
Example: Mate
maten
def= Bn . C
n′ .σ
mate⊥
n
def= ⊥
nB(C⊥
n′ . C
n′′). C
⊥
n′′ .τ
Proposition:σ0|maten.σLP M ◦ τ0|mate⊥
n.τLQM→∗ σ0|σ|τ0|τLP ◦QM
Homework: Drip (Mito with 0), Bud (Mito with 1)
Brane Calculi – p. 12/15
![Page 37: Mobile Calculi Course BRICS, University of Aarhus December 2004 · 2005. 8. 9. · Brane Calculi Presented by Jesus´ F. Almansa jfa@brics.dk Mobile Calculi Course BRICS, University](https://reader035.vdocuments.mx/reader035/viewer/2022070208/60f994ddacfdb1070e6cb826/html5/thumbnails/37.jpg)
Example: Viral Reproduction
Almost... molecules are needed
Brane Calculi – p. 13/15
![Page 38: Mobile Calculi Course BRICS, University of Aarhus December 2004 · 2005. 8. 9. · Brane Calculi Presented by Jesus´ F. Almansa jfa@brics.dk Mobile Calculi Course BRICS, University](https://reader035.vdocuments.mx/reader035/viewer/2022070208/60f994ddacfdb1070e6cb826/html5/thumbnails/38.jpg)
Example: Viral Reproduction
Almost... molecules are needed
Brane Calculi – p. 13/15
![Page 39: Mobile Calculi Course BRICS, University of Aarhus December 2004 · 2005. 8. 9. · Brane Calculi Presented by Jesus´ F. Almansa jfa@brics.dk Mobile Calculi Course BRICS, University](https://reader035.vdocuments.mx/reader035/viewer/2022070208/60f994ddacfdb1070e6cb826/html5/thumbnails/39.jpg)
Nice, but...
what kind of calculus is this?
Purely combinatorialcommunication could be added...a, b ::=...o2on | o2o
⊥
n(m) | s2sn | s2s
⊥
n(m) | p2c
n| p2c⊥
n(m)
assuming τ{l ← m}
...and name restriction...
...and choice...
...and all π?
No equivalence
Biologically meaningful?
Brane Calculi – p. 14/15
![Page 40: Mobile Calculi Course BRICS, University of Aarhus December 2004 · 2005. 8. 9. · Brane Calculi Presented by Jesus´ F. Almansa jfa@brics.dk Mobile Calculi Course BRICS, University](https://reader035.vdocuments.mx/reader035/viewer/2022070208/60f994ddacfdb1070e6cb826/html5/thumbnails/40.jpg)
Nice, but... what kind of calculus is this?
Purely combinatorialcommunication could be added...a, b ::=...o2on | o2o
⊥
n(m) | s2sn | s2s
⊥
n(m) | p2c
n| p2c⊥
n(m)
assuming τ{l ← m}
...and name restriction...
...and choice...
...and all π?
No equivalence
Biologically meaningful?
Brane Calculi – p. 14/15
![Page 41: Mobile Calculi Course BRICS, University of Aarhus December 2004 · 2005. 8. 9. · Brane Calculi Presented by Jesus´ F. Almansa jfa@brics.dk Mobile Calculi Course BRICS, University](https://reader035.vdocuments.mx/reader035/viewer/2022070208/60f994ddacfdb1070e6cb826/html5/thumbnails/41.jpg)
Nice, but... what kind of calculus is this?
Purely combinatorial
communication could be added...a, b ::=...o2on | o2o
⊥
n(m) | s2sn | s2s
⊥
n(m) | p2c
n| p2c⊥
n(m)
assuming τ{l ← m}
...and name restriction...
...and choice...
...and all π?
No equivalence
Biologically meaningful?
Brane Calculi – p. 14/15
![Page 42: Mobile Calculi Course BRICS, University of Aarhus December 2004 · 2005. 8. 9. · Brane Calculi Presented by Jesus´ F. Almansa jfa@brics.dk Mobile Calculi Course BRICS, University](https://reader035.vdocuments.mx/reader035/viewer/2022070208/60f994ddacfdb1070e6cb826/html5/thumbnails/42.jpg)
Nice, but... what kind of calculus is this?
Purely combinatorialcommunication could be added...a, b ::=...o2on | o2o
⊥
n(m) | s2sn | s2s
⊥
n(m) | p2c
n| p2c⊥
n(m)
assuming τ{l ← m}
...and name restriction...
...and choice...
...and all π?
No equivalence
Biologically meaningful?
Brane Calculi – p. 14/15
![Page 43: Mobile Calculi Course BRICS, University of Aarhus December 2004 · 2005. 8. 9. · Brane Calculi Presented by Jesus´ F. Almansa jfa@brics.dk Mobile Calculi Course BRICS, University](https://reader035.vdocuments.mx/reader035/viewer/2022070208/60f994ddacfdb1070e6cb826/html5/thumbnails/43.jpg)
Nice, but... what kind of calculus is this?
Purely combinatorialcommunication could be added...a, b ::=...o2on | o2o
⊥
n(m) | s2sn | s2s
⊥
n(m) | p2c
n| p2c⊥
n(m)
assuming τ{l ← m}
...and name restriction...
...and choice...
...and all π?
No equivalence
Biologically meaningful?
Brane Calculi – p. 14/15
![Page 44: Mobile Calculi Course BRICS, University of Aarhus December 2004 · 2005. 8. 9. · Brane Calculi Presented by Jesus´ F. Almansa jfa@brics.dk Mobile Calculi Course BRICS, University](https://reader035.vdocuments.mx/reader035/viewer/2022070208/60f994ddacfdb1070e6cb826/html5/thumbnails/44.jpg)
Nice, but... what kind of calculus is this?
Purely combinatorialcommunication could be added...a, b ::=...o2on | o2o
⊥
n(m) | s2sn | s2s
⊥
n(m) | p2c
n| p2c⊥
n(m)
assuming τ{l ← m}
...and name restriction...
...and choice...
...and all π?
No equivalence
Biologically meaningful?
Brane Calculi – p. 14/15
![Page 45: Mobile Calculi Course BRICS, University of Aarhus December 2004 · 2005. 8. 9. · Brane Calculi Presented by Jesus´ F. Almansa jfa@brics.dk Mobile Calculi Course BRICS, University](https://reader035.vdocuments.mx/reader035/viewer/2022070208/60f994ddacfdb1070e6cb826/html5/thumbnails/45.jpg)
Nice, but... what kind of calculus is this?
Purely combinatorialcommunication could be added...a, b ::=...o2on | o2o
⊥
n(m) | s2sn | s2s
⊥
n(m) | p2c
n| p2c⊥
n(m)
assuming τ{l ← m}
...and name restriction...
...and choice...
...and all π?
No equivalence
Biologically meaningful?
Brane Calculi – p. 14/15
![Page 46: Mobile Calculi Course BRICS, University of Aarhus December 2004 · 2005. 8. 9. · Brane Calculi Presented by Jesus´ F. Almansa jfa@brics.dk Mobile Calculi Course BRICS, University](https://reader035.vdocuments.mx/reader035/viewer/2022070208/60f994ddacfdb1070e6cb826/html5/thumbnails/46.jpg)
Nice, but... what kind of calculus is this?
Purely combinatorialcommunication could be added...a, b ::=...o2on | o2o
⊥
n(m) | s2sn | s2s
⊥
n(m) | p2c
n| p2c⊥
n(m)
assuming τ{l ← m}
...and name restriction...
...and choice...
...and all π?
No equivalence
Biologically meaningful?
Brane Calculi – p. 14/15
![Page 47: Mobile Calculi Course BRICS, University of Aarhus December 2004 · 2005. 8. 9. · Brane Calculi Presented by Jesus´ F. Almansa jfa@brics.dk Mobile Calculi Course BRICS, University](https://reader035.vdocuments.mx/reader035/viewer/2022070208/60f994ddacfdb1070e6cb826/html5/thumbnails/47.jpg)
Nice, but... what kind of calculus is this?
Purely combinatorialcommunication could be added...a, b ::=...o2on | o2o
⊥
n(m) | s2sn | s2s
⊥
n(m) | p2c
n| p2c⊥
n(m)
assuming τ{l ← m}
...and name restriction...
...and choice...
...and all π?
No equivalence
Biologically meaningful?
Brane Calculi – p. 14/15
![Page 48: Mobile Calculi Course BRICS, University of Aarhus December 2004 · 2005. 8. 9. · Brane Calculi Presented by Jesus´ F. Almansa jfa@brics.dk Mobile Calculi Course BRICS, University](https://reader035.vdocuments.mx/reader035/viewer/2022070208/60f994ddacfdb1070e6cb826/html5/thumbnails/48.jpg)
Comparative Exercise: Security Applications
Ambients in the air...
Pure and Safe
P ::= (ν n)P | 0 | P ◦Q | !P | n[P ] |Cap.P
Cap ::= in n | ~in n | out n | ~out n | open n | ~open n |
to be explored...
Brane Calculi – p. 15/15
![Page 49: Mobile Calculi Course BRICS, University of Aarhus December 2004 · 2005. 8. 9. · Brane Calculi Presented by Jesus´ F. Almansa jfa@brics.dk Mobile Calculi Course BRICS, University](https://reader035.vdocuments.mx/reader035/viewer/2022070208/60f994ddacfdb1070e6cb826/html5/thumbnails/49.jpg)
Comparative Exercise: Security Applications
Ambients in the air...Pure and Safe
P ::= (ν n)P | 0 | P ◦Q | !P | n[P ] |Cap.P
Cap ::= in n | ~in n | out n | ~out n | open n | ~open n |
to be explored...
Brane Calculi – p. 15/15
![Page 50: Mobile Calculi Course BRICS, University of Aarhus December 2004 · 2005. 8. 9. · Brane Calculi Presented by Jesus´ F. Almansa jfa@brics.dk Mobile Calculi Course BRICS, University](https://reader035.vdocuments.mx/reader035/viewer/2022070208/60f994ddacfdb1070e6cb826/html5/thumbnails/50.jpg)
Comparative Exercise: Security Applications
Ambients in the air...Pure and Safe
P ::= (ν n)P | 0 | P ◦Q | !P | n[P ] |Cap.P
Cap ::= in n | ~in n | out n | ~out n | open n | ~open n |
to be explored...
Brane Calculi – p. 15/15
![Page 51: Mobile Calculi Course BRICS, University of Aarhus December 2004 · 2005. 8. 9. · Brane Calculi Presented by Jesus´ F. Almansa jfa@brics.dk Mobile Calculi Course BRICS, University](https://reader035.vdocuments.mx/reader035/viewer/2022070208/60f994ddacfdb1070e6cb826/html5/thumbnails/51.jpg)
Comparative Exercise: Security Applications
Ambients in the air...Pure and Safe
P ::= (ν n)P | 0 | P ◦Q | !P | n[P ] |Cap.P
Cap ::= in n | ~in n | out n | ~out n | open n | ~open n |
to be explored...
Brane Calculi – p. 15/15