A Core Calculus for a Comparative Analysis of Bio-inspired Calculi

DOI10.1007/978-3-540-71316-6_28MaRDI QIDQ5756508zbMATH OpenOpenAlexFDO

Authors Cristian Versari

Publication date 4 September 2007

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-71316-6_28

zbMATH Keywords

\(\pi\)-calculusBioAmbientsBrane Calculipolyadic synchronisationpriority

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Encoding catalytic P systems in {\(\pi\)}\@
• A translation of beta-binders in a prioritized pi-calculus
• Expressiveness issues in brane calculi: a survey
• A simple calculus for proteins and cells
• A simple calculus for proteins and cells

Cited in

(16)

• Replacement freeness: a criterion for separating process calculi
• Stochastic biological modelling in the presence of multiple compartments
• An intermediate language for the stochastic simulation of biological systems
• Communicating by compatibility
• A simple calculus for proteins and cells
• Efficient stochastic simulation of biological systems with multiple variable volumes
• Biochemical reaction rules with constraints
• The attributed pi-calculus with priorities
• Process Algebra Modelling Styles for Biomolecular Processes
• Constructing and visualizing chemical reaction networks from pi-calculus models
• An abstract machine for the stochastic bioambient calculus
• Spatial calculus of looping sequences
• A translation of beta-binders in a prioritized pi-calculus
• QoS negotiation in service composition
• Spatial calculus of looping sequences
• A simple calculus for proteins and cells

This page was built for publication: A Core Calculus for a Comparative Analysis of Bio-inspired Calculi

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5756508)