第四届膜计算与生物启发过程演算研讨会论文集 2010
计算机科学中的逻辑
2010-11-02 v1 计算工程、金融与科学
分布式、并行与集群计算
摘要
第四届膜计算与生物启发过程演算研讨会于耶拿举办，作为第十一届国际膜计算会议的卫星活动。生物膜在生命有机体细胞中发生的复杂反应中起着基础性作用。这一作用的重要性已在最近引入的两种不同类型的理论形式体系中得到考虑。膜系统被引入为一类受生物系统观察启发的分布式并行计算设备，任何生物系统都是一个复杂的层级结构，其功能基于生化物质和信息的流动。生物系统的建模和分析也引起了过程代数研究界的极大兴趣。因此，膜和隔室的概念已在一系列演算中明确表示，例如环境演算和膜演算。这两个研究领域的交叉融合最近已经开始。深入研究这些相关形式体系之间的关系是有趣的，理解它们的关键相似性和差异也很重要。研讨会的主要目的是汇集从事膜计算、生物启发过程演算以及其他相关领域的研究人员，以展示近期成果并讨论关于这些形式体系、其性质及关系的新想法。
引用
@article{arxiv.1011.0051,
title = {Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi 2010},
author = {Gabriel Ciobanu and Maciej Koutny},
journal= {arXiv preprint arXiv:1011.0051},
year = {2010}
}