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.
|Titolo:||A Translation of Beta-binders in a Prioritized Pi-calculus|
|Autori:||Cappello, Igor; Quaglia, Paola|
|Titolo del periodico:||ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE|
|Anno di pubblicazione:||2009|
|Numero e parte del fascicolo:||1|
|Digital Object Identifier (DOI):||http://dx.doi.org/10.1016/j.entcs.2009.02.008|
|Appare nelle tipologie:||03.1 Articolo su rivista (Journal article)|