2009年第三届膜计算和生物启发过程微积分研讨会论文集
Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi 2009
摘要：
本卷包含了2009年9月5日在博洛尼亚举行的第三届膜计算和生物启发过程微积分研讨会上接受的论文。这些论文致力于膜计算和生物启发的过程演算，以及其他相关的形式主义。本卷的论文是由计划委员会选择的，因为它们的质量和相关性;它们定义了一个令人兴奋的计划，突出了有趣的问题，并刺激了对描述相关生物现象的新方法的探索。此外，我们还邀请了卢卡·卡德利（Luca Cardelli）就发育生物学的空间过程代数进行演讲。膜系统是作为一类分布式并行计算设备引入的，其灵感来自于观察到任何生物系统都是复杂的分层结构，其功能基础是物质和信息的流动。重点是模型的计算特性，它利用自动机，语言和复杂性理论工具。另一方面，某些结石，如移动环境和膜结石与类似的概念（隔间，膜）。这些结石用于模拟和分析各种生物系统。关于膜计算和生物启发过程演算的研讨会汇集了在这些领域工作的研究人员，介绍他们最近的工作，并讨论有关形式主义，其性质和关系的新想法。
英文摘要：
This volume contains the accepted papers at the third Workshop on Membrane Computing and Biologically Inspired Process Calculi, held in Bologna on 5th September 2009. The papers are devoted to both membrane computing and biologically inspired process calculi, as well as to other related formalisms. The papers of this volume are selected by the programme committee due to their quality and relevance; they have defined an exciting programme highlighting interesting problems and stimulating the search for novel ways of describing related biological phenomena. In addition, we had an invited talk given by Luca Cardelli on a spatial process algebra for developmental biology. Membrane systems were introduced as a class of distributed parallel computing devices inspired by the observation that any biological system is a complex hierarchical structure, with a flow of materials and information that underlies their functioning. The emphasis is on the computational properties of the model, and it makes use of automata, languages, and complexity theoretic tools. On the other hand, certain calculi such as mobile ambients and brane calculi work with similar notions (compartments, membranes). These calculi are used to model and analyze the various biological systems. The workshop on Membrane Computing and Biologically Inspired Process Calculi brings together researchers working in these fields to present their recent work and discuss new ideas concerning the formalisms, their properties and relationships.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
