Name
Abstract | ||
|---|---|---|
A translation of Beta-binders in pi@ is presented. Beta-binders is a bio-inspired formalism that allows the modelling of processes wrapped into boundaries. No notion of enclosing compartment can instead be found in pi@, a dialect of the pi-calculus where actions are associated with a priority value driving their execution and where channel names can have a composite structure. As recently shown, pi@ is a suitable language for encoding both Bio-Ambients and Brane Calculi, two of the most well-known formalisms for modelling biological scenarios. The translation provided here, which comes together with results about the operational correspondence of Beta-binders processes and their encodings, goes in the direction of assessing pi@ as a platform for investigating the relative expressive power of various bio-inspired languages. |
Year | DOI | Venue |
|---|---|---|
2009 | 10.1016/j.entcs.2009.02.008 | Electr. Notes Theor. Comput. Sci. |
Keywords | Field | DocType |
composite structure,name-passing process calculi,prioritized pi-calculus,reduction semantics,various bio-inspired language,bio-inspired formalism,relative expressive power,beta-binders process,brane calculi,priority value,biological scenario,operational correspondence,channel name,process calculi,expressive power | Discrete mathematics,Brane calculi,Programming language,Pi calculus,Computer science,Communication channel,Theoretical computer science,Formalism (philosophy),Expressive power,Rotation formalisms in three dimensions,Encoding (memory) | Journal |
Volume | Issue | ISSN |
229 | 1 | Electronic Notes in Theoretical Computer Science |
Citations | PageRank | References |
1 | 0.35 | 9 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Igor Cappello | 1 | 2 | 1.07 |
| Paola Quaglia | 2 | 356 | 27.06 |