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...
| 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 |