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

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.

[1]  Luca Cardelli,et al.  Brane Calculi , 2004, CMSB.

[2]  Ehud Shapiro,et al.  Cells as Computation , 2003, CMSB.

[3]  Davide Sangiorgi,et al.  Communicating and Mobile Systems: the π-calculus, , 2000 .

[4]  Nadia Busi,et al.  Stochastic Simulation of Biological Systems with Dynamical Compartment Structure , 2007, CMSB.

[5]  David Walker,et al.  On Synchronous and Asynchronous Mobile Processes , 2000, FoSSaCS.

[6]  Aviv Regev,et al.  Representation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra , 2000, Pacific Symposium on Biocomputing.

[7]  Robin Milner,et al.  Communicating and mobile systems - the Pi-calculus , 1999 .

[8]  Cristian Versari,et al.  A Core Calculus for a Comparative Analysis of Bio-inspired Calculi , 2007, ESOP.

[9]  Paola Quaglia.  On Beta-Binders Communications , 2008, Concurrency, Graphs and Models.

[10]  Corrado Priami,et al.  Beta Binders for Biological Interactions , 2004, CMSB.

[11]  Davide Sangiorgi,et al.  The Pi-Calculus - a theory of mobile processes , 2001 .

[12]  David Walker,et al.  Types and full abstraction for polyadic pi-calculus , 2005, Inf. Comput..

[13]  E. Shapiro,et al.  Cellular abstractions: Cells as computation , 2002, Nature.

[14]  Nobuko Yoshida,et al.  Graph Types for Monadic Mobile Processes , 1996, FSTTCS.

[15]  Luca Cardelli,et al.  BioAmbients: an abstraction for biological compartments , 2004, Theor. Comput. Sci..

[16]  Raheel Ahmad,et al.  The π-Calculus: A theory of mobile processes , 2008, Scalable Comput. Pract. Exp..

[17]  Roberto Gorrieri,et al.  pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi , 2008, SFM.

[18]  Benjamin C. Pierce,et al.  Decoding Choice Encodings , 1999 .