Mobility in process calculi and natural computing.

DOI10.1007/978-3-642-24867-2zbMath1238.68005OpenAlexW134423472MaRDI QIDQ653874

Bogdan Aman, Gabriel Ciobanu

Publication date: 20 December 2011

Published in: Natural Computing Series (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-24867-2

zbMATH Keywords

reachabilitycomputability\(\pi\)-calculusencodingmembrane computingbrane calculimobile ambientstimed distributed \(\pi\)-calculus

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) Research exposition (monographs, survey articles) pertaining to computer science (68-02)

Related Items (12)

Denotational semantics of membrane systems by using complete metric spaces ⋮ Solving SAT with P systems with anti-membranes ⋮ The power of synchronizing rules in membrane computing ⋮ On the efficiency of synchronized P systems ⋮ Type inference for hierarchical multiset structures in rule-based systems ⋮ The synchronized ambient calculus ⋮ Computational Power of Protein Networks ⋮ Memory associated with membranes systems ⋮ Synchronization of rules in membrane computing ⋮ Efficiently solving the bin packing problem through bio-inspired mobility ⋮ Membrane automata for modeling biomolecular processes ⋮ Synthesising elementary net systems with localities

This page was built for publication: Mobility in process calculi and natural computing.