Mobility in process calculi and natural computing.

DOI10.1007/978-3-642-24867-2MaRDI QIDQ653874zbMATH OpenOpenAlexFDO

Authors 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

membrane computingreachability\(\pi\)-calculuscomputabilityencodingbrane calculimobile ambientstimed distributed \(\pi\)-calculus

Mathematics Subject Classification ID

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

• Mobility in computer science and in membrane systems
• Membrane Computing: Basics and Frontiers
• The \(\pi\)-calculus: A theory of mobile processes
• scientific article; zbMATH DE number 1543318
• Computing by endocytosis and exocytosis

Cited in

(15)

• Memory associated with membranes systems
• Synchronization of rules in membrane computing
• Efficiently solving the bin packing problem through bio-inspired mobility
• On the efficiency of synchronized P systems
• scientific article; zbMATH DE number 1543318 (Why is no real title available?)
• Solving SAT with P systems with anti-membranes
• Membrane automata for modeling biomolecular processes
• Type inference for hierarchical multiset structures in rule-based systems
• The synchronized ambient calculus
• Denotational semantics of membrane systems by using complete metric spaces
• Introducing variables in the evolution rules of P systems
• Computational power of protein networks
• Mobility in computer science and in membrane systems
• Synthesising elementary net systems with localities
• The power of synchronizing rules in membrane computing

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

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