A Translation of Beta-binders in a Prioritized Pi-calculus | Zendy

Igor Cappello | Zendy; Paola Quaglia | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

A Translation of Beta-binders in a Prioritized Pi-calculus

Author(s) -

Igor Cappello,

Paola Quaglia

Publication year - 2009

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2009.02.008

Subject(s) - rotation formalisms in three dimensions , computer science , translation (biology) , formalism (music) , pi calculus , encoding (memory) , expressive power , beta (programming language) , theoretical computer science , artificial intelligence , programming language , mathematics , biology , genetics , art , musical , geometry , messenger rna , visual arts , gene

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research