第三次研讨会从生物学到并发性和背部
Proceedings Third Workshop From Biology To Concurrency and back
摘要:
本卷包含了在第三次研讨会上提出的论文“从生物学到并发性和背部”,FBTC 2010年,在帕福斯,塞浦路斯举行,2010年3月27日,作为卫星事件的联合欧洲会议上的理论和实践的软件,ETAPS 2010。讲习班的目的是聚集对生命和计算机科学的融合特别感兴趣的研究人员,特别侧重于并发技术和方法的应用。本卷中包含的论文介绍了使用并发启发的方法和平台以及用于描述分布式交互的生物启发模型和工具对生物行为进行建模,分析和验证的工作。
英文摘要:
This volume contains the papers presented at the 3rd Workshop "From Biology To Concurrency and back", FBTC 2010, held in Paphos, Cyprus, on March 27, 2010, as satellite event of the Joint European Conference on Theory and Practice of Software, ETAPS 2010. The Workshop aimed at gathering together researchers with special interest at the convergence of life and computer science, with particular focus on the application of techniques and methods from concurrency. The papers contained in this volume present works on modelling, analysis, and validation of biological behaviours using concurrency-inspired methods and platforms, and bio-inspired models and tools for describing distributed interactions.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。