A Translation of Beta-binders in a Prioritized Pi-calculus
| Autor: | Igor Cappello, Paola Quaglia |
|---|---|
| Rok vydání: | 2009 |
| Předmět: |
General Computer Science
Programming language computer.software_genre Rotation formalisms in three dimensions Expressive power Theoretical Computer Science Formalism (philosophy of mathematics) Composite structure Pi calculus Name-passing process calculi Brane calculi computer reduction semantics Computer Science(all) Mathematics |
| Zdroj: | Electronic Notes in Theoretical Computer Science. 229:109-125 |
| ISSN: | 1571-0661 |
| DOI: | 10.1016/j.entcs.2009.02.008 |
| Popis: | A translation of Beta-binders in [email protected] 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 [email protected], 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, [email protected] 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 [email protected] as a platform for investigating the relative expressive power of various bio-inspired languages. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect