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

DOI10.1007/978-3-540-71316-6_28zbMath1187.68331OpenAlexW1545930210MaRDI QIDQ5756508

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

priority\(\pi\)-calculuspolyadic synchronisationBrane CalculiBioAmbients

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)

Related Items (13)

QoS negotiation in service composition ⋮ Replacement freeness: a criterion for separating process calculi ⋮ Spatial calculus of looping sequences ⋮ Constructing and visualizing chemical reaction networks from pi-calculus models ⋮ Biochemical Reaction Rules with Constraints ⋮ Spatial Calculus of Looping Sequences ⋮ A Translation of Beta-binders in a Prioritized Pi-calculus ⋮ An Abstract Machine for the Stochastic Bioambient calculus ⋮ Stochastic biological modelling in the presence of multiple compartments ⋮ An intermediate language for the stochastic simulation of biological systems ⋮ The Attributed Pi-Calculus with Priorities ⋮ Process Algebra Modelling Styles for Biomolecular Processes ⋮ Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes

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